CAFEOBJ REPORT: THE LANGUAGE, PROOF TECHNIQUES, AND METHODOLOGIES FOR OBJECT-ORIENTED ALGEBRAIC SPECIFICATION - DIACONESCU RAZVAN ET AL

AUTHOR AFFILIATION : JAPAN ADVANCED INST OF SCIENCE & TECHNOLOGY, JAPAN PUB DATE : 30-Jun-98 O

View Details