Mathematics of Program Construction

DOI10.1007/b98756zbMath1106.68020OpenAlexW2492557863MaRDI QIDQ5313094

César de Jesus Pereira Cunha Rodrigues, José Nuno Oliveira

Publication date: 26 August 2005

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

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

Mathematics Subject Classification ID

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

Related Items

Components as coalgebras: the refinement dimension ⋮ Transposing partial components--an exercise on coalgebraic refinement ⋮ A Single Complete Relational Rule for Coalgebraic Refinement ⋮ Extended Static Checking by Calculation Using the Pointfree Transform ⋮ An Exercise on Transition Systems

This page was built for publication: Mathematics of Program Construction