2015 Formal Methods in Computer-Aided Design (FMCAD)

Collection

IEL Online

Publisher

IEEE

Subject

Computing and Processing

Access From

2016-08-15

URL

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

issn

978-1-5090-4151-0

eissn

978-0-9835-6785-1