@article{DBLP:journals/spe/BecucciFGS05,
    author = "Becucci, Marcello and Fantechi, Alessandro and Giromini, Marco and Spinicci, Emilio",
    title = "A comparison between handwritten and automatic generation of {C} code from {SDL} using static analysis",
    journal = "Softw. Pract. Exp.",
    volume = "35",
    number = "14",
    pages = "1317--1347",
    year = "2005",
    url = "https://doi.org/10.1002/spe.673",
    doi = "10.1002/SPE.673",
    timestamp = "Thu, 09 Apr 2020 01:00:00 +0200",
    biburl = "https://dblp.org/rec/journals/spe/BecucciFGS05.bib",
    bibsource = "dblp computer science bibliography, https://dblp.org"
}

{"_id":"y4XzE3Dw95jfGGXoF","bibbaseid":"becucci-fantechi-giromini-spinicci-acomparisonbetweenhandwrittenandautomaticgenerationofccodefromsdlusingstaticanalysis-2005","author_short":["Becucci, M.","Fantechi, A.","Giromini, M.","Spinicci, E."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Becucci"],"firstnames":["Marcello"],"suffixes":[]},{"propositions":[],"lastnames":["Fantechi"],"firstnames":["Alessandro"],"suffixes":[]},{"propositions":[],"lastnames":["Giromini"],"firstnames":["Marco"],"suffixes":[]},{"propositions":[],"lastnames":["Spinicci"],"firstnames":["Emilio"],"suffixes":[]}],"title":"A comparison between handwritten and automatic generation of C code from SDL using static analysis","journal":"Softw. Pract. Exp.","volume":"35","number":"14","pages":"1317–1347","year":"2005","url":"https://doi.org/10.1002/spe.673","doi":"10.1002/SPE.673","timestamp":"Thu, 09 Apr 2020 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/spe/BecucciFGS05.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/spe/BecucciFGS05,\n author = \"Becucci, Marcello and Fantechi, Alessandro and Giromini, Marco and Spinicci, Emilio\",\n title = \"A comparison between handwritten and automatic generation of {C} code from {SDL} using static analysis\",\n journal = \"Softw. Pract. Exp.\",\n volume = \"35\",\n number = \"14\",\n pages = \"1317--1347\",\n year = \"2005\",\n url = \"https://doi.org/10.1002/spe.673\",\n doi = \"10.1002/SPE.673\",\n timestamp = \"Thu, 09 Apr 2020 01:00:00 +0200\",\n biburl = \"https://dblp.org/rec/journals/spe/BecucciFGS05.bib\",\n bibsource = \"dblp computer science bibliography, https://dblp.org\"\n}\n\n","author_short":["Becucci, M.","Fantechi, A.","Giromini, M.","Spinicci, E."],"key":"DBLP:journals/spe/BecucciFGS05","id":"DBLP:journals/spe/BecucciFGS05","bibbaseid":"becucci-fantechi-giromini-spinicci-acomparisonbetweenhandwrittenandautomaticgenerationofccodefromsdlusingstaticanalysis-2005","role":"author","urls":{"Paper":"https://doi.org/10.1002/spe.673"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://bibbase.org/network/files/ws3af8SM9SMEYsH2f","dataSources":["PZg5PtcToSZkgSyYp","qQnqccZvH25J6baZj","WKKW4iPgS2HZ3iYgC","ayX6N9CZwEAB9vnsu","p5NhmgzaptHibbc54","yJus66XMcAovEa59P","Dku8hLpmnK4EMRGxi","o4c8ZrEv4pXJNTWsQ","Am74mndWeepaSMcba","g7R8qBvQHnTH2cmxX","NjpvvPPb5uHsATbEa"],"keywords":[],"search_terms":["comparison","between","handwritten","automatic","generation","code","sdl","using","static","analysis","becucci","fantechi","giromini","spinicci"],"title":"A comparison between handwritten and automatic generation of C code from SDL using static analysis","year":2005}