4 ms·Formal Methods Application: An Empirical Tale of Software Development [pdf]2 points by maximilianburke 16y ago