2012 Formal Methods in Computer-Aided Design (FMCAD)

Collection

IEL Online

Publisher

IEEE

Subject

Computing and Processing

Access From

2013-02-18

URL

https://ieeexplore.ieee.org/servlet/opac?punumber=6450168

issn

978-1-4673-4832-4

eissn

978-0-9835678-2-0