SLAN-4-A software specification and design language

DOI10.1109/TSE.1984.5010217MaRDI QIDQ3314976zbMATH OpenOpenAlexFDO

Authors Friedrich W. Beichter, Otthein Herzog, Heiko Petzsch

Publication date 1984

Published in IEEE Transactions on Software Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/tse.1984.5010217

zbMATH Keywords

algebraic specification of abstract data typesaxiomatic specification of modules

Mathematics Subject Classification ID

Data structures (68P05) Theory of software (68N99)

This page was built for publication: SLAN-4-A software specification and design language

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