Providing a Formal Linkage between MDG and HOL (2002)

Cached

Download Links

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