Managing the Safety Argument using a Memory Prosthesis.

David Jenkins, Brian Lees, Daniel Livingstone, Andrew Reglinski

Browse the full SAFECOMP paper archive.