{"_id":"2u9P3YGzJizCCQLBQ","bibbaseid":"hunt-thepracticalapplicationofformalmethodswhereisthebenefitforindustry-2011","author_short":["Hunt, J. J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"The practical application of formal methods: where is the benefit for industry?","shorttitle":"The practical application of formal methods","doi":"10/gh3nzd","booktitle":"International Conference on Formal Verification of Object-Oriented Software","publisher":"Springer","author":[{"propositions":[],"lastnames":["Hunt"],"firstnames":["James","J."],"suffixes":[]}],"year":"2011","note":"tex.ids= huntPracticalApplicationFormal2011a, huntPracticalApplicationFormal2011b, huntPracticalApplicationFormal2011c","keywords":"⛔ No DOI found","pages":"22–32","bibtex":"@inproceedings{hunt_practical_2011,\n\ttitle = {The practical application of formal methods: where is the benefit for industry?},\n\tshorttitle = {The practical application of formal methods},\n\tdoi = {10/gh3nzd},\n\tbooktitle = {International {Conference} on {Formal} {Verification} of {Object}-{Oriented} {Software}},\n\tpublisher = {Springer},\n\tauthor = {Hunt, James J.},\n\tyear = {2011},\n\tnote = {tex.ids= huntPracticalApplicationFormal2011a, huntPracticalApplicationFormal2011b, huntPracticalApplicationFormal2011c},\n\tkeywords = {⛔ No DOI found},\n\tpages = {22--32},\n}\n\n","author_short":["Hunt, J. J."],"key":"hunt_practical_2011","id":"hunt_practical_2011","bibbaseid":"hunt-thepracticalapplicationofformalmethodswhereisthebenefitforindustry-2011","role":"author","urls":{},"keyword":["⛔ No DOI found"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":["⛔ no doi found"],"search_terms":["practical","application","formal","methods","benefit","industry","hunt"],"title":"The practical application of formal methods: where is the benefit for industry?","year":2011}