Deutsch Schorr Waite

swMATH28837MaRDI QIDQ40551FDOQ40551

Author name not available (Why is that?)

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

Cited In (2)

• Invariant diagrams with data refinement
• Data Refinement IBP

This page was built for software: Deutsch Schorr Waite