Formal object-oriented development
By: Kevin Lano.
Series: Formal approaches to computing and information technology
Publisher: Springer-Verlag; Springer
Published: 1995
Place of publication: Berlin; London
Language: eng
Number of pages: 422