Formally Linking MDG and HOL Based on a Verified MDG System.

Haiyan Xiong, Paul Curzon, Sofine Tahar, Ann Blandford

Browse the full IFM paper archive.