Formal program development (e-book)
Moller, Bernhard
Formal program development (e-book) - Berlin Springer 1993 - Lecture Notes in Computer Science (LNCS) v.755 .
978-3-540-48197-3
Formal program development (e-book) - Berlin Springer 1993 - Lecture Notes in Computer Science (LNCS) v.755 .
978-3-540-48197-3