%0 Journal Article %1 journals/tse/SobelC02 %A Sobel, Ann E. Kelley %A Clarkson, Michael R. %D 2002 %J IEEE Trans. Software Eng. %K dblp %N 3 %P 308-320 %T Formal Methods Application: An Empirical Tale of Software Development. %U http://dblp.uni-trier.de/db/journals/tse/tse28.html#SobelC02 %V 28

@article{journals/tse/SobelC02, added-at = {2015-12-10T00:00:00.000+0100}, author = {Sobel, Ann E. Kelley and Clarkson, Michael R.}, biburl = {https://www.bibsonomy.org/bibtex/2021778c330a9e9bb0db8740aeed04751/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/32.991322}, interhash = {1a7550c65f7b509951c181e94f3b7219}, intrahash = {021778c330a9e9bb0db8740aeed04751}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 3, pages = {308-320}, timestamp = {2015-12-12T11:53:35.000+0100}, title = {Formal Methods Application: An Empirical Tale of Software Development.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse28.html#SobelC02}, volume = 28, year = 2002 }