fisher-2017-the:
  type: article
  title: 'The HACMS program: using formal methods to eliminate exploitable bugs'
  author:
  - Fisher, Kathleen
  - Launchbury, John
  - Richards, Raymond
  date: 2017-09
  page-range: '20150401'
  serial-number:
    doi: 10.1098/rsta.2015.0401
  parent:
    type: periodical
    title: 'Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences'
    publisher: The Royal Society
    issue: 2104
    volume: 375