Category: cafeobj
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