Data Refinement IBP

swMATH28836MaRDI QIDQ40550FDOQ40550

Author name not available (Why is that?)

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