Seven Years of COMPASS (1996)

by Bernd Krieg-Brückner
Venue:In 11th Workshop on Specification of Abstract Data Types, Joint with the 8th COMPASS Workshop, Oslo, LNCS