Proof Transformations for Evolutionary Formal Software Development
From MaRDI portal
Publication:2996126
DOI10.1007/3-540-45719-4_30zbMath1275.68059OpenAlexW1488470055MaRDI QIDQ2996126
Publication date: 6 May 2011
Published in: Algebraic Methodology and Software Technology (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-45719-4_30
Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (3)
Security of multi-agent systems: a case study on comparison shopping ⋮ Deduction as an Engineering Science ⋮ Towards Formal Proof Script Refactoring
This page was built for publication: Proof Transformations for Evolutionary Formal Software Development