SLAN-4: A Language for the Specification and Design of Large Software Systems
From MaRDI portal
Publication:3668854
DOI10.1147/RD.276.0558zbMATH Open0519.68042OpenAlexW2026370261WikidataQ111927798 ScholiaQ111927798MaRDI QIDQ3668854FDOQ3668854
Authors: Friedrich W. Beichter, Otthein Herzog, Heiko Petzsch 
Publication date: 1983
Published in: IBM Journal of Research and Development (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1147/rd.276.0558
pseudocodesyntactic constructsformal toolslanguage constructs for algebraic and axiomatic specifications
This page was built for publication: SLAN-4: A Language for the Specification and Design of Large Software Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3668854)
