A Lightweight Approach to Formal Methods.

Sten Agerholm, Peter Gorm Larsen

Browse the full FM paper archive.