%0 Journal Article %1 journals/tse/BerryT03 %A Berry, Daniel M. %A Tichy, Walter F. %D 2003 %J IEEE Trans. Software Eng. %K dblp %N 6 %P 567-571 %T Comments on "Formal Methods Application: An Empirical Tale of Software Development". %U http://dblp.uni-trier.de/db/journals/tse/tse29.html#BerryT03 %V 29

@article{journals/tse/BerryT03, added-at = {2015-12-10T00:00:00.000+0100}, author = {Berry, Daniel M. and Tichy, Walter F.}, biburl = {https://www.bibsonomy.org/bibtex/2dee7290fbbd151a39210f58663924ca3/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/TSE.2003.1205183}, interhash = {426767f7b341e57795944c247c2bfe21}, intrahash = {dee7290fbbd151a39210f58663924ca3}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 6, pages = {567-571}, timestamp = {2015-12-12T11:52:21.000+0100}, title = {Comments on "Formal Methods Application: An Empirical Tale of Software Development".}, url = {http://dblp.uni-trier.de/db/journals/tse/tse29.html#BerryT03}, volume = 29, year = 2003 }