scientific article; zbMATH DE number 3960980
From MaRDI portal
Publication:3730006
Cited in
(4)- scientific article; zbMATH DE number 4049006 (Why is no real title available?)
- Formal software development in the Verification Support Environment (VSE)
- Algebraic implementation of abstract data types: a survey of concepts and new compositionality results
- scientific article; zbMATH DE number 47959 (Why is no real title available?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3730006)
