Formal methods in programming and their applications (e-book)
Bjørner, Dines
Formal methods in programming and their applications (e-book) - Berlin Springer 1993 - Lecture Notes in Computer Science (LNCS) v.735 .
978-3-540-48056-3
Formal methods in programming and their applications (e-book) - Berlin Springer 1993 - Lecture Notes in Computer Science (LNCS) v.735 .
978-3-540-48056-3