Philippa Gardner

Verified Trustworthy Software Systems

Authors

• Philippa Gardner

Venue

Philosophical Transactions of the Royal Society of London A: Mathematical, Physical and Engineering Sciences, vol. 375(2104)

Publication Date

Sep 2017

Identifiers

• DOI: doi:10.1098/rsta.2015.0408

Source Materials

• Authors' Preprint/Accepted Version
• Published Edition
• BibTeX Citation