Formal Specification and Development of an Ada Compiler - A VDM Case Study.

Geert B. Clemmensen, Ole N. Oest

Browse the full ICSE paper archive.