Formally Linking MDG and HOL Based on a Verified MDG System

Cached

Download Links

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