Providing a Formal Linkage between MDG and HOL (2006)

by Haiyan Xiong , Paul Curzon , Sofiène Tahar , Ann Blandford
Citations:2 - 2 self