@inproceedings{bueno2019euforia,
   author = {Bueno, Denis and Sakallah, Karem A.},
   title = {{euforia: Complete Software Model Checking with Uninterpreted Functions}},
   booktitle = {20th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)},
   address = {Cascais, Portugal},
   publisher = {Springer},
   volume = {LNCS 11388},
   pages = {363-385},
   month = {January},
   year = {2019},
   doi = {https://doi.org/10.1007/978-3-030-11245-5_17}
}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% 2014
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

{"_id":"YypBXjDaSknYbXRGt","bibbaseid":"bueno-sakallah-euforiacompletesoftwaremodelcheckingwithuninterpretedfunctions-2019","author_short":["Bueno, D.","Sakallah, K. A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Bueno"],"firstnames":["Denis"],"suffixes":[]},{"propositions":[],"lastnames":["Sakallah"],"firstnames":["Karem","A."],"suffixes":[]}],"title":"euforia: Complete Software Model Checking with Uninterpreted Functions","booktitle":"20th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)","address":"Cascais, Portugal","publisher":"Springer","volume":"LNCS 11388","pages":"363-385","month":"January","year":"2019","doi":"https://doi.org/10.1007/978-3-030-11245-5_17","bibtex":"@inproceedings{bueno2019euforia,\n author = {Bueno, Denis and Sakallah, Karem A.},\n title = {{euforia: Complete Software Model Checking with Uninterpreted Functions}},\n booktitle = {20th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)},\n address = {Cascais, Portugal},\n publisher = {Springer},\n volume = {LNCS 11388},\n pages = {363-385},\n month = {January},\n year = {2019},\n doi = {https://doi.org/10.1007/978-3-030-11245-5_17}\n}\n\n%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%\n% 2014\n%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%\n","author_short":["Bueno, D.","Sakallah, K. A."],"key":"bueno2019euforia","id":"bueno2019euforia","bibbaseid":"bueno-sakallah-euforiacompletesoftwaremodelcheckingwithuninterpretedfunctions-2019","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://web.eecs.umich.edu/~karem/publications/Sakallah-Publications.bib","dataSources":["dAWPbXiJP4ihEN4GZ"],"keywords":[],"search_terms":["euforia","complete","software","model","checking","uninterpreted","functions","bueno","sakallah"],"title":"euforia: Complete Software Model Checking with Uninterpreted Functions","year":2019}