Verified Trustworthy Software Systems Venue Philosophical Transactions of the Royal Society of London A 2017 Publication date Sep 2017 Identifiers DOI: doi:10.1098/rsta.2015.0408 Authors Philippa Gardner Source Materials Authors' Preprint/Accepted Version Published Edition BibTeX Citation