Verification of the MDG Components Library in HOL (1998)

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