{"_id":"8jD7iY9HnW4xkZEMa","bibbaseid":"jobredeaux-formalverificationofcontrolsoftware-2015","author_short":["Jobredeaux, R. J."],"bibdata":{"bibtype":"phdthesis","type":"PhD Thesis","title":"Formal verification of control software","school":"Georgia Institute of Technology","author":[{"propositions":[],"lastnames":["Jobredeaux"],"firstnames":["Romain","J."],"suffixes":[]}],"year":"2015","note":"tex.ids= jobredeaux_formal_2015","keywords":"Theorem proving","bibtex":"@phdthesis{jobredeaux_formal_2015,\n\ttype = {{PhD} {Thesis}},\n\ttitle = {Formal verification of control software},\n\tschool = {Georgia Institute of Technology},\n\tauthor = {Jobredeaux, Romain J.},\n\tyear = {2015},\n\tnote = {tex.ids= jobredeaux\\_formal\\_2015},\n\tkeywords = {Theorem proving},\n}\n\n","author_short":["Jobredeaux, R. J."],"key":"jobredeaux_formal_2015","id":"jobredeaux_formal_2015","bibbaseid":"jobredeaux-formalverificationofcontrolsoftware-2015","role":"author","urls":{},"keyword":["Theorem proving"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"phdthesis","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":["theorem proving"],"search_terms":["formal","verification","control","software","jobredeaux"],"title":"Formal verification of control software","year":2015}