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: 9789812816108