Generating Assurance Cases Using Workflow

Nicholas Annable, Thomas Chiang, Mark Lawford, Richard F. Paige, Alan Wassyng

Browse the full SAFECOMP paper archive.