book

Formal Methods in Computer-Aided Design, 2009. FMCAD 2009

Published in 2009

Reference details