@article{formalmethodsfortheinformalengineer,
  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},
  eprint = {2104.00739},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2104.00739v1},
}