A methodology for formal specification and implementation of Ada packages.

Neel Madhav, Walter Mann

Browse the full COMPSAC paper archive.