Veri of the MDG Components Library in HOL (1998)

by P Curzon, S Tahar, O Ait-Mohamed
Venue:Australian National University