{"_id":"38p6KBzmassqHpPjY","bibbaseid":"fitzgerald-brookes-green-larsen-formalandinformalspecificationsofasecuresystemcomponentfirstresultsinacomparativestudy-1994","author_short":["Fitzgerald, J. S.","Brookes, T. M.","Green, M. A.","Larsen, P. G."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Formal and informal specifications of a secure system component: first results in a comparative study","shorttitle":"Formal and informal specifications of a secure system component","booktitle":"International Symposium of Formal Methods Europe","publisher":"Springer","author":[{"propositions":[],"lastnames":["Fitzgerald"],"firstnames":["John","S."],"suffixes":[]},{"propositions":[],"lastnames":["Brookes"],"firstnames":["To","M."],"suffixes":[]},{"propositions":[],"lastnames":["Green"],"firstnames":["M.","A."],"suffixes":[]},{"propositions":[],"lastnames":["Larsen"],"firstnames":["Peter","Gorm"],"suffixes":[]}],"year":"1994","note":"tex.ids= fitzgeraldFormalInformalSpecifications1994a","keywords":"⛔ No DOI found","pages":"35–44","bibtex":"@inproceedings{fitzgerald_formal_1994,\n\ttitle = {Formal and informal specifications of a secure system component: first results in a comparative study},\n\tshorttitle = {Formal and informal specifications of a secure system component},\n\tbooktitle = {International {Symposium} of {Formal} {Methods} {Europe}},\n\tpublisher = {Springer},\n\tauthor = {Fitzgerald, John S. and Brookes, To M. and Green, M. A. and Larsen, Peter Gorm},\n\tyear = {1994},\n\tnote = {tex.ids= fitzgeraldFormalInformalSpecifications1994a},\n\tkeywords = {⛔ No DOI found},\n\tpages = {35--44},\n}\n\n","author_short":["Fitzgerald, J. S.","Brookes, T. M.","Green, M. A.","Larsen, P. G."],"key":"fitzgerald_formal_1994","id":"fitzgerald_formal_1994","bibbaseid":"fitzgerald-brookes-green-larsen-formalandinformalspecificationsofasecuresystemcomponentfirstresultsinacomparativestudy-1994","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":["formal","informal","specifications","secure","system","component","first","results","comparative","study","fitzgerald","brookes","green","larsen"],"title":"Formal and informal specifications of a secure system component: first results in a comparative study","year":1994}