Computer aided verification (e-book)
Courcoubetis, Costas
Computer aided verification (e-book) - Berlin Springer 1993 - Lecture Notes in Computer Science (LNCS) v.697 .
978-3-540-47787-7
Computer aided verification (e-book) - Berlin Springer 1993 - Lecture Notes in Computer Science (LNCS) v.697 .
978-3-540-47787-7