Vdm '90 vdm and z - formal methods in software development (e-book)
Bjørner, Dines
Vdm '90 vdm and z - formal methods in software development (e-book) - Berlin Springer 1990 - Lecture Notes in Computer Science (LNCS) v.428 .
978-3-540-47006-9
Vdm '90 vdm and z - formal methods in software development (e-book) - Berlin Springer 1990 - Lecture Notes in Computer Science (LNCS) v.428 .
978-3-540-47006-9