Using VDM in an Object-Oriented Development Method for Ada Software.

Chris Chedgey, Seamus Kearney, Hans-Jrgen Kugler

Browse the full FM paper archive.