Caap '81

Algebraic Foundations of Systems Specification

Scientific Engineering for Distributed Java Applications: International Workshop, Fidji 2002, Luxembourg, Luxembourg, November 28-29, 2002, Revised Papers

Recent Trends in Data Type Specification: 10th Workshop on Specification of Abstract Data Types Joint with the 5th Compass Workshop, S. Margherita, Italy, May 30 - June 3, 1994. Selected Papers

Recent Trends in Data Type Specification: 10th Workshop on Specification of Abstract Data Types, Joint with the 5th Compass Workshop, S. Margherita, Italy, May 30-June 3, 1994: Selected Papers