{"_id":"37jGsKtbbABA4CbCz","bibbaseid":"lesens-moy-kanig-formalvalidationofaerospacesoftware-2013","author_short":["Lesens, D.","Moy, Y.","Kanig, J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Formal validation of aerospace software","volume":"11","booktitle":"Proc. DASIA","publisher":"Citeseer","author":[{"propositions":[],"lastnames":["Lesens"],"firstnames":["David"],"suffixes":[]},{"propositions":[],"lastnames":["Moy"],"firstnames":["Yannick"],"suffixes":[]},{"propositions":[],"lastnames":["Kanig"],"firstnames":["Johannes"],"suffixes":[]}],"year":"2013","note":"tex.ids= lesensFormalValidationAerospace2013a, lesensFormalValidationAerospace2013b","keywords":"⛔ No DOI found","bibtex":"@inproceedings{lesens_formal_2013,\n\ttitle = {Formal validation of aerospace software},\n\tvolume = {11},\n\tbooktitle = {Proc. {DASIA}},\n\tpublisher = {Citeseer},\n\tauthor = {Lesens, David and Moy, Yannick and Kanig, Johannes},\n\tyear = {2013},\n\tnote = {tex.ids= lesensFormalValidationAerospace2013a, lesensFormalValidationAerospace2013b},\n\tkeywords = {⛔ No DOI found},\n}\n\n","author_short":["Lesens, D.","Moy, Y.","Kanig, J."],"key":"lesens_formal_2013","id":"lesens_formal_2013","bibbaseid":"lesens-moy-kanig-formalvalidationofaerospacesoftware-2013","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","validation","aerospace","software","lesens","moy","kanig"],"title":"Formal validation of aerospace software","year":2013}