Proof in VDM : a practitioner's guide /

Other Authors: Bicarregui, Juan C.
Format: Book
Language:English
Published: London ; New York : Springer-Verlag, c1994.
Subjects:

Similar Items