Algebraic Methodology and Software Technology

DOI10.1007/b98770zbMath1108.68393MaRDI QIDQ5312986

Martin Wirsing, Alexander Knapp, Stephan Merz

Publication date: 25 August 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b98770

Mathematics Subject Classification ID

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)