Search whole site: site:fmie2021.github.io
Search title: Formal Methods for the Informal Engineer | [“February 3-5 2021. Online event hosted by the Broad Institute of MIT and Harvard”]
See how to search.