mcbride-2023-measuring:
  type: article
  title: 'Measuring with confidence: leveraging expressive type systems for correct-by-construction software'
  author:
  - McBride, Conor
  - Nakov, Georgi
  - Nordvall Forsberg, Fredrik
  date: 2023-03
  page-range: 1-5
  url: http://dx.doi.org/10.21014/actaimeko.v12i1.1412
  serial-number:
    doi: 10.21014/actaimeko.v12i1.1412
    issn: 0237-028X
  parent:
    type: periodical
    title: Acta IMEKO
    publisher: IMEKO International Measurement Confederation
    issue: 1
    volume: 12