Assurance Cases for Block-Configurable Software.

Richard Hawkins, Alvaro Miyazawa, Ana Cavalcanti, Tim Kelly, John Rowlands

Browse the full SAFECOMP paper archive.