Formal Methods Application: An Empirical Tale of Software Development [pdf]cs.cornell.edu2 points·maximilianburke··0 commentsOpen articleSaveView on HN