Verification of the MDG Components Library in HOL (1998)

by Paul Curzon , Sofiène Tahar , Otmane Aït Mohamed
Citations:7 - 6 self

Document Versions

Verification of the MDG Components Library in HOL –Paul Curzon, Sofiène Tahar, Otmane Aït Mohamed — 1998
Verification of the MDG Components Library in HOL –Paul Curzon, Sofiene Tahar, Otmane Ait Mohamed — 1998 — Australian National University