@article{sarma-2021-formal, title={Formal Methods for the Informal Engineer: Workshop Recommendations}, url={http://dx.doi.org/10.31219/osf.io/t4qs8}, DOI={10.31219/osf.io/t4qs8}, publisher={Center for Open Science}, author={Sarma, Gopal and Koppel, James and Malecha, Gregory and Schultz, Patrick and Drexler, Eric and Kumar, Ramana and Roux, Cody and Zucker, Philip}, year={2021}, month=Apr }