Verification of the MDG Components Library in HOL (1998)

by Paul Curzon , Sofiene Tahar , Otmane Ait Mohamed
Venue:Australian National University
Citations:7 - 6 self