sarma-2021-formal:
  type: article
  title: 'Formal Methods for the Informal Engineer: Workshop Recommendations'
  author:
  - Sarma, Gopal
  - Koppel, James
  - Malecha, Gregory
  - Schultz, Patrick
  - Drexler, Eric
  - Kumar, Ramana
  - Roux, Cody
  - Zucker, Philip
  date: 2021-04
  url: http://dx.doi.org/10.31219/osf.io/t4qs8
  serial-number:
    doi: 10.31219/osf.io/t4qs8
  parent:
    type: periodical
    publisher: Center for Open Science