Seven years of COMPASS (1996)

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