Overview of 10 Years of ISVV Findings in Safety-Critical Systems.

Nuno Silva, Rui Lopes

Browse the full ISSRE paper archive.