Pop-Refinement

MaRDI QIDQ7361195FDO

Authors Alessandro Coglio

Publication date 3 July 2014

Cites work

• A constructive approach to the problem of program correctness
• Unnamed Publication
• Unnamed Publication
• Program development by stepwise refinement
• Proof of correctness of data representations
• The B-Book
• The existence of refinement mappings

This page was built for software: Pop-Refinement