Recent trends in data type specification. 7th workshop on specification of abstract data types, Wusterhausen/Dosse, Germany, April 17--20, 1990. Proceedings

MaRDI QIDQ1202147zbMATH OpenFDO

Authors

Publication date 23 January 1993

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

zbMATH Keywords

ProceedingsWorkshopData type specificationWusterhausen/Dosse (Germany)

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Abstract data types; algebraic specification (68Q65)

Cited in

(3)

• Recents 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
• Proof systems for structured specifications with observability operators
• 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

This page was built for publication: Recent trends in data type specification. 7th workshop on specification of abstract data types, Wusterhausen/Dosse, Germany, April 17--20, 1990. Proceedings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1202147)