{"_id":"4cSw2PD4WLDNkQJZ4","bibbaseid":"moser-melliarsmith-formalverificationofsafetycriticalsystems-1990","downloads":0,"creationDate":"2014-12-14T05:18:58.938Z","title":"Formal verification of safety-critical systems","author_short":["Moser, L. E.","Melliar-Smith, P. M."],"year":1990,"bibtype":"article","biburl":"https://bibbase.org/zotero/SilverSylvester","bibdata":{"bibtype":"article","type":"article","title":"Formal verification of safety-critical systems","volume":"20","doi":"10/dc7c64","number":"8","journal":"Software: Practice and Experience","author":[{"propositions":[],"lastnames":["Moser"],"firstnames":["Louise","E."],"suffixes":[]},{"propositions":[],"lastnames":["Melliar-Smith"],"firstnames":["P.","M."],"suffixes":[]}],"year":"1990","note":"publisher: Wiley Online Library","pages":"799–821","bibtex":"@article{moser_formal_1990,\n\ttitle = {Formal verification of safety-critical systems},\n\tvolume = {20},\n\tdoi = {10/dc7c64},\n\tnumber = {8},\n\tjournal = {Software: Practice and Experience},\n\tauthor = {Moser, Louise E. and Melliar-Smith, P. M.},\n\tyear = {1990},\n\tnote = {publisher: Wiley Online Library},\n\tpages = {799--821},\n}\n\n","author_short":["Moser, L. E.","Melliar-Smith, P. M."],"key":"moser_formal_1990","id":"moser_formal_1990","bibbaseid":"moser-melliarsmith-formalverificationofsafetycriticalsystems-1990","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"search_terms":["formal","verification","safety","critical","systems","moser","melliar-smith"],"keywords":[],"authorIDs":[],"dataSources":["MWkSHdZQWaCZv8BPg","YCBcQPneB9oxahSnp"]}