Daniel M. Berry, Walter F. Tichy. Comments on Formal Methods Application: An Empirical Tale of Software Development . IEEE Trans. Software Eng., 29(6):567-571, 2003. [doi]
@article{BerryT03,
title = {Comments on Formal Methods Application: An Empirical Tale of Software Development },
author = {Daniel M. Berry and Walter F. Tichy},
year = {2003},
url = {http://www.computer.org/tse/ts2003/e0567abs.htm},
tags = {empirical},
researchr = {https://researchr.org/publication/BerryT03},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Software Eng.},
volume = {29},
number = {6},
pages = {567-571},
}