Data Refinement IBP

swMATH28836MaRDI QIDQ40550FDOQ40550

Author name not available (Why is that?)

Described by source

• Data Refinement of Invariant Based Programs

Cited In (2)

• Invariant diagrams with data refinement
• Algebra of Monotonic Boolean Transformers

This page was built for software: Data Refinement IBP