Sciweavers

FMSD
2007

Providing a formal linkage between MDG and HOL

14 years 16 days ago
Providing a formal linkage between MDG and HOL
Haiyan Xiong, Paul Curzon, Sofiène Tahar, A
Added 14 Dec 2010
Updated 14 Dec 2010
Type Journal
Year 2007
Where FMSD
Authors Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford
Comments (0)