Certification-based development of critical systems.

Panayiotis Steele

Browse the full ICSE paper archive.