Computer-aided programming using formally specified design templates.

David Hemer

Browse the full APSEC paper archive.