{"_id":"muP5YR2d5kmw8Wszh","bibbaseid":"xu-zhang-formalverificationofsoftwaresafetycriteriausingeventb-2014","author_short":["Xu, L.","Zhang, H."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Formal verification of software safety criteria using Event-B","doi":"10/ghv39c","booktitle":"2014 10th International Conference on Reliability, Maintainability and Safety (ICRMS)","publisher":"IEEE","author":[{"propositions":[],"lastnames":["Xu"],"firstnames":["Lili"],"suffixes":[]},{"propositions":[],"lastnames":["Zhang"],"firstnames":["Hong"],"suffixes":[]}],"year":"2014","note":"tex.ids= xuFormalVerificationSoftware2014a","pages":"342–347","bibtex":"@inproceedings{xu_formal_2014,\n\ttitle = {Formal verification of software safety criteria using {Event}-{B}},\n\tdoi = {10/ghv39c},\n\tbooktitle = {2014 10th {International} {Conference} on {Reliability}, {Maintainability} and {Safety} ({ICRMS})},\n\tpublisher = {IEEE},\n\tauthor = {Xu, Lili and Zhang, Hong},\n\tyear = {2014},\n\tnote = {tex.ids= xuFormalVerificationSoftware2014a},\n\tpages = {342--347},\n}\n\n","author_short":["Xu, L.","Zhang, H."],"key":"xu_formal_2014","id":"xu_formal_2014","bibbaseid":"xu-zhang-formalverificationofsoftwaresafetycriteriausingeventb-2014","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"search_terms":["formal","verification","software","safety","criteria","using","event","xu","zhang"],"title":"Formal verification of software safety criteria using Event-B","year":2014}