Formal Methods Application: An Empirical Tale of Software Development [pdf]cs.cornell.edu2 pointsmaximilianburke16 years ago