2008 Formal Methods in Computer-Aided Design

Collection

IEL Online

Publisher

IEEE

Subject

Computing and Processing

Access From

2008-11-25

URL

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

issn

978-1-4244-2735-2

eissn

978-1-5090-7875-2