Formal methods in computer-aided design (e-book)
Aagaard, Mark
Formal methods in computer-aided design (e-book) - Berlin Springer 2002 - Lecture Notes in Computer Science (LNCS) v.2517 .
978-3-540-36126-8
Formal methods in computer-aided design (e-book) - Berlin Springer 2002 - Lecture Notes in Computer Science (LNCS) v.2517 .
978-3-540-36126-8