Algebraic foundations for specification refinements

DOI10.1007/978-3-319-49815-7_7zbMath1396.68032OpenAlexW2549778635MaRDI QIDQ1784785

Nazareno Aguirre, Pablo F. Castro

Publication date: 27 September 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-49815-7_7

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Algebraic foundations for specification refinements