Software Environment Support for Integrated Formal Program Specification and Development.

John C. Grundy, John G. Hosking

Browse the full APSEC paper archive.