@misc{indiciaeb2e863ce7fe7,
  title = {Formal Methods for the Informal Engineer: Workshop Recommendations},
  author = {Gopal Sarma and James Koppel and Gregory Malecha and Patrick Schultz and Eric Drexler and Ramana Kumar and Cody Roux and Philip Zucker},
  year = {2021},
  doi = {10.31219/osf.io/t4qs8},
  url = {https://arxiv.org/abs/2104.00739},
  note = {Source identifier: 2104.00739}
}