Towards a Static Check of FMUs in VDM-SL.

Nick Battle, Casper Thule, Cludio Gomes, Hugo Daniel Macedo, Peter Gorm Larsen

Browse the full FM paper archive.