{"_id":"dzG9cTYkSKr6Zaz6r","bibbaseid":"larsen-fitzgerald-brookes-applyingformalspecificationinindustry-1996","author_short":["Larsen, P. G.","Fitzgerald, J.","Brookes, T."],"bibdata":{"bibtype":"article","type":"article","title":"Applying formal specification in industry","volume":"13","doi":"10/cxp9hj","number":"3","journal":"IEEE software","author":[{"propositions":[],"lastnames":["Larsen"],"firstnames":["Peter","Gorm"],"suffixes":[]},{"propositions":[],"lastnames":["Fitzgerald"],"firstnames":["John"],"suffixes":[]},{"propositions":[],"lastnames":["Brookes"],"firstnames":["Tom"],"suffixes":[]}],"year":"1996","note":"tex.ids= larsenApplyingFormalSpecification1996a, larsenApplyingFormalSpecification1996b, larsenApplyingFormalSpecification1996c publisher: IEEE","pages":"48–56","bibtex":"@article{larsen_applying_1996,\n\ttitle = {Applying formal specification in industry},\n\tvolume = {13},\n\tdoi = {10/cxp9hj},\n\tnumber = {3},\n\tjournal = {IEEE software},\n\tauthor = {Larsen, Peter Gorm and Fitzgerald, John and Brookes, Tom},\n\tyear = {1996},\n\tnote = {tex.ids= larsenApplyingFormalSpecification1996a, larsenApplyingFormalSpecification1996b, larsenApplyingFormalSpecification1996c\npublisher: IEEE},\n\tpages = {48--56},\n}\n\n","author_short":["Larsen, P. G.","Fitzgerald, J.","Brookes, T."],"key":"larsen_applying_1996","id":"larsen_applying_1996","bibbaseid":"larsen-fitzgerald-brookes-applyingformalspecificationinindustry-1996","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"search_terms":["applying","formal","specification","industry","larsen","fitzgerald","brookes"],"title":"Applying formal specification in industry","year":1996}