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
• Deutsch Schorr Waite
• Invariant diagrams with data refinement

This page was built for software: Data Refinement IBP