@article{DBLP:journals/scp/CoferFLM11,
    author = "Cofer, Darren D. and Fantechi, Alessandro and Leue, Stefan and Merino, Pedro",
    title = "Preface to the special issue on Formal Methods for Industrial Critical Systems {(FMICS} 2007 + {FMICS} 2008)",
    journal = "Sci. Comput. Program.",
    volume = "76",
    number = "2",
    pages = "63--64",
    year = "2011",
    url = "https://doi.org/10.1016/j.scico.2010.07.001",
    doi = "10.1016/J.SCICO.2010.07.001",
    timestamp = "Wed, 17 Feb 2021 00:00:00 +0100",
    biburl = "https://dblp.org/rec/journals/scp/CoferFLM11.bib",
    bibsource = "dblp computer science bibliography, https://dblp.org"
}

{"_id":"HmgQFdWQMrtdXNipB","bibbaseid":"cofer-fantechi-leue-merino-prefacetothespecialissueonformalmethodsforindustrialcriticalsystemsfmics2007fmics2008-2011","author_short":["Cofer, D. D.","Fantechi, A.","Leue, S.","Merino, P."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Cofer"],"firstnames":["Darren","D."],"suffixes":[]},{"propositions":[],"lastnames":["Fantechi"],"firstnames":["Alessandro"],"suffixes":[]},{"propositions":[],"lastnames":["Leue"],"firstnames":["Stefan"],"suffixes":[]},{"propositions":[],"lastnames":["Merino"],"firstnames":["Pedro"],"suffixes":[]}],"title":"Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2007 + FMICS 2008)","journal":"Sci. Comput. Program.","volume":"76","number":"2","pages":"63–64","year":"2011","url":"https://doi.org/10.1016/j.scico.2010.07.001","doi":"10.1016/J.SCICO.2010.07.001","timestamp":"Wed, 17 Feb 2021 00:00:00 +0100","biburl":"https://dblp.org/rec/journals/scp/CoferFLM11.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/scp/CoferFLM11,\n author = \"Cofer, Darren D. and Fantechi, Alessandro and Leue, Stefan and Merino, Pedro\",\n title = \"Preface to the special issue on Formal Methods for Industrial Critical Systems {(FMICS} 2007 + {FMICS} 2008)\",\n journal = \"Sci. Comput. Program.\",\n volume = \"76\",\n number = \"2\",\n pages = \"63--64\",\n year = \"2011\",\n url = \"https://doi.org/10.1016/j.scico.2010.07.001\",\n doi = \"10.1016/J.SCICO.2010.07.001\",\n timestamp = \"Wed, 17 Feb 2021 00:00:00 +0100\",\n biburl = \"https://dblp.org/rec/journals/scp/CoferFLM11.bib\",\n bibsource = \"dblp computer science bibliography, https://dblp.org\"\n}\n\n","author_short":["Cofer, D. D.","Fantechi, A.","Leue, S.","Merino, P."],"key":"DBLP:journals/scp/CoferFLM11","id":"DBLP:journals/scp/CoferFLM11","bibbaseid":"cofer-fantechi-leue-merino-prefacetothespecialissueonformalmethodsforindustrialcriticalsystemsfmics2007fmics2008-2011","role":"author","urls":{"Paper":"https://doi.org/10.1016/j.scico.2010.07.001"},"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":["preface","special","issue","formal","methods","industrial","critical","systems","fmics","2007","fmics","2008","cofer","fantechi","leue","merino"],"title":"Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2007 + FMICS 2008)","year":2011}