Providing a formal linkage between MDG and HOL
Formal Methods in System Design (2007) - 0 Comments
doi: 10.1007/s10703-006-0017-y  issn: 0925-9856  issn: 1572-8102 

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

Attach files by dragging & dropping, selecting them, or pasting from the clipboard. Uploading your files… We don’t support that file type. with a PNG, GIF, or JPG. Yowza, that’s a big file. with a file smaller than 1MB. This file is empty. with a file that’s not empty. Something went really wrong, and we can’t process that file.

Comment must be at least 15 characters.
You have not yet installed the PubPeer browser plugin and will not see PubPeer comments on other websites. Install it here!