23 citations · 55 across the 7 of their papers we have counts for
1 paper · 1 filter
Gopal Sarma, James Koppel, Gregory Malecha +5
Formal Methods for the Informal Engineer (FMIE) was a workshop held at the Broad Institute of MIT and Harvard in 2021 to explore the potential role of verified software in the biom…