book

2008 Formal Methods in Computer-Aided Design

Published in 2008

Reference details