Vdm '87 vdm - a formal method at work (e-book)
Bjørner, Dines
Vdm '87 vdm - a formal method at work (e-book) - Berlin Springer 1987 - Lecture Notes in Computer Science (LNCS) v.252 .
978-3-540-47740-2
Vdm '87 vdm - a formal method at work (e-book) - Berlin Springer 1987 - Lecture Notes in Computer Science (LNCS) v.252 .
978-3-540-47740-2