DTRE

swMATH22672MaRDI QIDQ34463FDOQ34463

Author name not available (Why is that?)

Cited In (3)

• Fiat: deductive synthesis of abstract data types in a proof assistant
• Constructing specification morphisms
• Category localization semantics for specification refinements

This page was built for software: DTRE