CORPORATE Microsoft Press
-
Formal Methods Application: An Empirical Tale of Software Development
IEEE Transactions on Software Engineering