@gron

Comments on "Formal Methods Application: An Empirical Tale of Software Development"

, and . IEEE Transactions on Software Engineering, 29 (6): 567-571 (2003)
DOI: http://doi.ieeecomputersociety.org/10.1109/TSE.2003.1205183

Description

Comments on "Formal Methods Application: An Empirical Tale of Software Development"

Links and resources

Tags