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

Source Materials