Abstraction refinement of linear programs with arrays. Armando, A., Benerecetti, M., & Mantovani, J. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 4424 LNCS:373-388, 2007. ![Abstraction refinement of linear programs with arrays [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper bibtex @ARTICLE{Armando2007373,
author={Armando, A., Benerecetti, M., Mantovani, J.},
title={Abstraction refinement of linear programs with arrays},
journal={Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
year={2007},
volume={4424 LNCS},
pages={373-388},
url={https://www.scopus.com/inward/record.uri?eid=2-s2.0-37149010632&partnerID=40&md5=d8b8e54f84003629b4ebdb467305ceed},
document_type={Conference Paper},
source={Scopus},
}
Downloads: 0
{"_id":"ae6edRWuvaFPJCNP5","bibbaseid":"armando-benerecetti-mantovani-abstractionrefinementoflinearprogramswitharrays-2007","downloads":0,"creationDate":"2016-08-26T09:24:47.397Z","title":"Abstraction refinement of linear programs with arrays","author_short":["Armando, A.","Benerecetti, M.","Mantovani, J."],"year":2007,"bibtype":"article","biburl":"https://dl.dropboxusercontent.com/u/1703583/BiblioLab.bib","bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Armando"],"firstnames":["A."],"suffixes":[]},{"propositions":[],"lastnames":["Benerecetti"],"firstnames":["M."],"suffixes":[]},{"propositions":[],"lastnames":["Mantovani"],"firstnames":["J."],"suffixes":[]}],"title":"Abstraction refinement of linear programs with arrays","journal":"Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)","year":"2007","volume":"4424 LNCS","pages":"373-388","url":"https://www.scopus.com/inward/record.uri?eid=2-s2.0-37149010632&partnerID=40&md5=d8b8e54f84003629b4ebdb467305ceed","document_type":"Conference Paper","source":"Scopus","bibtex":"@ARTICLE{Armando2007373,\nauthor={Armando, A., Benerecetti, M., Mantovani, J.},\ntitle={Abstraction refinement of linear programs with arrays},\njournal={Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},\nyear={2007},\nvolume={4424 LNCS},\npages={373-388},\nurl={https://www.scopus.com/inward/record.uri?eid=2-s2.0-37149010632&partnerID=40&md5=d8b8e54f84003629b4ebdb467305ceed},\ndocument_type={Conference Paper},\nsource={Scopus},\n}\n\n","author_short":["Armando, A.","Benerecetti, M.","Mantovani, J."],"key":"Armando2007373","id":"Armando2007373","bibbaseid":"armando-benerecetti-mantovani-abstractionrefinementoflinearprogramswitharrays-2007","role":"author","urls":{"Paper":"https://www.scopus.com/inward/record.uri?eid=2-s2.0-37149010632&partnerID=40&md5=d8b8e54f84003629b4ebdb467305ceed"},"downloads":0},"search_terms":["abstraction","refinement","linear","programs","arrays","armando","benerecetti","mantovani"],"keywords":["dblp","eureka","software model checking","smt"],"authorIDs":["57c00ade5abfdd4d540000c7"],"dataSources":["EQov9rEvkmMf5P4ah"]}