An Informal Approach to Formal (Algebraic) Specifications

DOI10.1093/COMJNL/28.1.59zbMath0559.68027OpenAlexW2023003352MaRDI QIDQ5184389

Antonio L. Furtado, Thomas S. E. Maibaum

Publication date: 1985

Published in: The Computer Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/comjnl/28.1.59

zbMATH Keywords

abstract data typeformal algebraic specification

Mathematics Subject Classification ID

Data structures (68P05)

This page was built for publication: An Informal Approach to Formal (Algebraic) Specifications