Cafeobj Report
Subtitle: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification
Publisher: World Scientific Publishing Co Pte Ltd
Published: 1998
Language: eng
ISBN-13: 9781299280991