Providing a Formal Linkage between MDG Verification System and HOL Proof System (2003)

by Haiyan Xiong , Paul Curzon , Sofiène Tahar , Ann Blandford