Quality, cleanroom and formal methods.

Zarrin Langari, Anne Banks Pidduck

Browse the full ICSE paper archive.