Formal Methods in Computer Aided Design (FMCAD'07)

Collection

IEL Online

Publisher

IEEE

Subject

Computing and Processing

Access From

2007-12-12

URL

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

issn

978-0-7695-3023-9

eissn

978-1-5090-8632-0