Is Current Incremental Safety Assurance Sound?

Valentin Cassano, Silviya Grigorova, Neeraj Kumar Singh, Morayo Adedjouma, Mark Lawford, T. S. E. Maibaum, Alan Wassyng

Browse the full SAFECOMP paper archive.