{"_id":"SucSLbQBGoPNhGuBN","bibbaseid":"jrges-margaria-steffen-assuringpropertyconformanceofcodegeneratorsviamodelchecking-2011","downloads":0,"creationDate":"2015-12-04T23:16:19.019Z","title":"Assuring property conformance of code generators via model checking","author_short":["Jörges, S.","Margaria, T.","Steffen, B."],"year":2011,"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/fac/JorgesMS11","bibdata":{"title":"Assuring property conformance of code generators via model checking","author":["Sven Jörges","Tiziana Margaria","Bernhard Steffen"],"author_short":["Jörges, S.","Margaria, T.","Steffen, B."],"bibtype":"article","type":"article","year":"2011","key":"dblp2630962","id":"dblp2630962","biburl":"http://www.dblp.org/rec/bibtex/journals/fac/JorgesMS11","url":"http://dx.doi.org/10.1007/s00165-010-0169-9","journal":"Formal Asp. Comput. (FAC)","pages":"589-606","number":"5","volume":"23","text":"Formal Asp. Comput. (FAC) 23(5):589-606 (2011)","bibtex":"@article{ dblp2630962,\n title = {Assuring property conformance of code generators via model checking},\n author = {Sven Jörges and Tiziana Margaria and Bernhard Steffen},\n author_short = {Jörges, S. and Margaria, T. and Steffen, B.},\n bibtype = {article},\n type = {article},\n year = {2011},\n key = {dblp2630962},\n id = {dblp2630962},\n biburl = {http://www.dblp.org/rec/bibtex/journals/fac/JorgesMS11},\n url = {http://dx.doi.org/10.1007/s00165-010-0169-9},\n journal = {Formal Asp. Comput. (FAC)},\n pages = {589-606},\n number = {5},\n volume = {23},\n text = {Formal Asp. Comput. (FAC) 23(5):589-606 (2011)}\n}","bibbaseid":"jrges-margaria-steffen-assuringpropertyconformanceofcodegeneratorsviamodelchecking-2011","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/s00165-010-0169-9"},"downloads":0},"search_terms":["assuring","property","conformance","code","generators","via","model","checking","jörges","margaria","steffen"],"keywords":[],"authorIDs":[],"dataSources":["aHg83doyc9T3rTGvg"]}