File Refinement

MaRDI QIDQ7361390FDO

Authors Karen Zee, Viktor Kuncak

Publication date 9 December 2004

Cites work

• Data Refinement
• Isabelle/HOL. A proof assistant for higher-order logic

This page was built for software: File Refinement