The IFAD VDM Tools: Lightweight Formal Methods.

Sten Agerholm, Peter Gorm Larsen

Browse the full FM paper archive.