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

Document Versions

Providing a Formal Linkage between MDG and HOL –Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford — 2002