Formal Methods in Computer Aided Design

Collection

IEL Online

Publisher

IEEE

Subject

Computing and Processing

Access From

2011-05-19

URL

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

issn

978-1-4577-0734-6

eissn

978-0-9835678-0-6