Verification of the MDG Components Library in HOL (1998)

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