Verification of the MDG components library in HOL (1998)

by P Curzon, S Tahar, O At-Mohamed
Venue:Department of Computer Science, The Australian National University