SLAN-4-A software specification and design language

DOI10.1109/TSE.1984.5010217zbMATH Open0532.68032OpenAlexW2132764576MaRDI QIDQ3314976FDOQ3314976

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)