DTRE

swMATH22672MaRDI QIDQ34463FDOQ34463

Author name not available (Why is that?)

Official website: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.50.5571

Cited In (4)

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

This page was built for software: DTRE