Proof in VDM : case studies /

Bibliographic Details
Other Authors:	Bicarregui, Juan C. (Juan Carlos), 1962-, Agerholm, Sten
Format:	Book
Language:	English
Published:	London ; New York : Springer-Verlag, [1998]
Series:	Formal approaches to computing and information technology.
Subjects:	Computer software > Development > Case studies. Automatic theorem proving.

Remote Storage