How Explicit Are the Barriers to Failure in Safety Arguments?

Shamus P. Smith, Michael D. Harrison, Bastiaan A. Schupp

Browse the full SAFECOMP paper archive.