%0 Journal Article %1 Knight2001 %A Knight, John C. %A Hanks, Kimberly S. %A Travisj, Sean R. %C Los Alamitos, CA, USA %D 2001 %I IEEE Computer Society %J Software Reliability Engineering, International Symposium on %K %P 242 %R http://doi.ieeecomputersociety.org/10.1109/ISSRE.2001.989478 %T Tool Support for Production Use of Formal Techniques %V 0

@article{Knight2001, added-at = {2010-12-02T00:41:44.000+0100}, address = {Los Alamitos, CA, USA}, author = {Knight, John C. and Hanks, Kimberly S. and Travisj, Sean R.}, biburl = {https://www.bibsonomy.org/bibtex/2900dd198c41118509498305f5082053e/tasawer}, doi = {http://doi.ieeecomputersociety.org/10.1109/ISSRE.2001.989478}, file = {:formaltool.pdf:PDF}, interhash = {6f2167866a0ecc93c3b6e3e10c15349f}, intrahash = {900dd198c41118509498305f5082053e}, issn = {1071-9458}, journal = {Software Reliability Engineering, International Symposium on}, keywords = {}, pages = 242, publisher = {IEEE Computer Society}, timestamp = {2010-12-02T00:41:44.000+0100}, title = {Tool Support for Production Use of Formal Techniques}, volume = 0, year = 2001 }