Recent trends in data type specification. 7th workshop on specification of abstract data types, Wusterhausen/Dosse, Germany, April 17--20, 1990. Proceedings
From MaRDI portal
Publication:1202147
zbMATH Open0875.00078MaRDI QIDQ1202147FDOQ1202147
Authors:
Publication date: 23 January 1993
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
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
- 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
- Proof systems for structured specifications with observability operators
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)
