COMPASS Workshops

8. COMPASS Workshop / 11. ADT 1995: Oslo, Norway

Magne Haveraaen, Olaf Owe, Ole-Johan Dahl (Eds.): Recent Trends in Data Type Specification, 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995, Selected Papers. Lecture Notes in Computer Science 1130 Springer 1996, ISBN 3-540-61629-2
Contents BibTeX

5. COMPASS Workshop / 10. ADT 1994: S. Margherita, Italy

Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki (Eds.): 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. Lecture Notes in Computer Science 906 Springer 1995, ISBN 3-540-59132-X
Contents BibTeX

4. COMPASS Workshop / 9. ADT 1992: Caldes de Malavella, Spain

Hartmut Ehrig (Ed.): Recent Trends in Data Type Specification, 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992, Selected Papers. Lecture Notes in Computer Science 785 Springer 1994, ISBN 3-540-57867-6
Contents BibTeX

3. COMPASS Workshop / 8. ADT 1991: Dourdan, France

Michel Bidoit, Christine Choppy (Eds.): Recent Trends in Data Type Specification, 8th Workshop on Specification of Abstract Data Types Joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991, Selected Papers. Lecture Notes in Computer Science 655 Springer 1993, ISBN 3-540-56379-2
Contents BibTeX