DTRE

MaRDI QIDQ34463swMATHFDO

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

Cited in

(4)

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

This page was built for software: DTRE