%0 Journal Article %1 FormalMethodsApplication %A Sobel, Ann E. Kelley %A Clarkson, Michael R. %C Los Alamitos, CA, USA %D 2002 %I IEEE Computer Society %J IEEE Transactions on Software Engineering %K Me:MastersThesis RelatedWork empirical %N 3 %P 308-320 %R http://doi.ieeecomputersociety.org/10.1109/32.991322 %T Formal Methods Application: An Empirical Tale of Software Development %V 28

@article{FormalMethodsApplication, added-at = {2008-08-28T22:21:02.000+0200}, address = {Los Alamitos, CA, USA}, author = {Sobel, Ann E. Kelley and Clarkson, Michael R.}, biburl = {https://www.bibsonomy.org/bibtex/29604c587e5f63f368fc867b1f6d78d34/gron}, description = {Formal Methods Application: An Empirical Tale of Software Development}, doi = {http://doi.ieeecomputersociety.org/10.1109/32.991322}, interhash = {1a7550c65f7b509951c181e94f3b7219}, intrahash = {9604c587e5f63f368fc867b1f6d78d34}, issn = {0098-5589}, journal = {IEEE Transactions on Software Engineering}, keywords = {Me:MastersThesis RelatedWork empirical}, month = {March}, number = 3, pages = {308-320}, publisher = {IEEE Computer Society}, timestamp = {2008-09-22T20:18:00.000+0200}, title = {Formal Methods Application: An Empirical Tale of Software Development}, volume = 28, year = 2002 }