2009 Formal Methods in Computer-Aided Design

Collection

IEL Online

Publisher

IEEE

Subject

Computing and Processing

Access From

2009-12-11

URL

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

issn

978-1-4244-4965-1

eissn

978-1-5090-6978-1