Verification of the MDG Components Library in HOL (1998)

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