Requirements for Successful Verification in Practice.

Silvie Spreeuwenberg, Rik Gerrits

Browse the full FlAIRS paper archive.