Scrum goes formal: agile methods for safety-critical systems.

Sune Wolff

Browse the full ICSE paper archive.