A program refinement tool
From MaRDI portal
Publication:1272759
DOI10.1007/s001650050006zbMath0910.68050OpenAlexW2080782424MaRDI QIDQ1272759
Publication date: 3 January 1999
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s001650050006
Related Items (7)
Computer-aided development of a real-time program ⋮ Assumption propagation through annotated programs ⋮ Mechanised support for sound refinement tactics ⋮ A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs ⋮ A tactic language for refinement of state-rich concurrent specifications ⋮ Combining Top-Down and Bottom-Up Techniques in Program Derivation ⋮ On the desirability of mechanizing calculational proofs
This page was built for publication: A program refinement tool
