TY  - RPRT
TI  - Formal Methods for the Informal Engineer: Workshop Recommendations
AU  - Gopal Sarma
AU  - James Koppel
AU  - Gregory Malecha
AU  - Patrick Schultz
AU  - Eric Drexler
AU  - Ramana Kumar
AU  - Cody Roux
AU  - Philip Zucker
PY  - 2021
DO  - 10.31219/osf.io/t4qs8
UR  - https://arxiv.org/abs/2104.00739
ID  - 2104.00739
ER  -