Data Refinement IBP

MaRDI QIDQ40550swMATHFDO

Official website https://www.isa-afp.org/entries/DataRefinementIBP.html

Described by source

• Data refinement of invariant based programs

Cited in

(3)

• Algebra of monotonic Boolean transformers
• Invariant diagrams with data refinement
• Deutsch Schorr Waite

This page was built for software: Data Refinement IBP