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

Algebraic Foundations of Systems Specification

Caap '81

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

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

Algebraic Foundations of Systems Specification

Fundamental Approaches to Software Engineering: First International Conference, Fase'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, Etaps'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings

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

Scientific Engineering of Distributed Java Applications.: Third International Workshop, Fidji 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003, Revised Papers

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