@inproceedings{DBLP:conf/fm/BeekBFFGLM19,
    author = {ter Beek, Maurice H. and Bor{\"{a}}lv, Arne and Fantechi, Alessandro and Ferrari, Alessio and Gnesi, Stefania and L{\"{o}}fving, Christer and Mazzanti, Franco},
    editor = "ter Beek, Maurice H. and McIver, Annabelle and Oliveira, Jos{\'{e}} N.",
    title = "Adopting Formal Methods in an Industrial Setting: The Railways Case",
    booktitle = "Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings",
    series = "Lecture Notes in Computer Science",
    volume = "11800",
    pages = "762--772",
    publisher = "Springer",
    year = "2019",
    url = "https://doi.org/10.1007/978-3-030-30942-8\\_46",
    doi = "10.1007/978-3-030-30942-8\\_46",
    timestamp = "Tue, 09 Jun 2020 01:00:00 +0200",
    biburl = "https://dblp.org/rec/conf/fm/BeekBFFGLM19.bib",
    bibsource = "dblp computer science bibliography, https://dblp.org"
}

{"_id":"fDJn9LQzq5wAhPCmg","bibbaseid":"terbeek-borlv-fantechi-ferrari-gnesi-lfving-mazzanti-adoptingformalmethodsinanindustrialsettingtherailwayscase-2019","author_short":["ter Beek, M. H.","Borälv, A.","Fantechi, A.","Ferrari, A.","Gnesi, S.","Löfving, C.","Mazzanti, F."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":["ter"],"lastnames":["Beek"],"firstnames":["Maurice","H."],"suffixes":[]},{"propositions":[],"lastnames":["Borälv"],"firstnames":["Arne"],"suffixes":[]},{"propositions":[],"lastnames":["Fantechi"],"firstnames":["Alessandro"],"suffixes":[]},{"propositions":[],"lastnames":["Ferrari"],"firstnames":["Alessio"],"suffixes":[]},{"propositions":[],"lastnames":["Gnesi"],"firstnames":["Stefania"],"suffixes":[]},{"propositions":[],"lastnames":["Löfving"],"firstnames":["Christer"],"suffixes":[]},{"propositions":[],"lastnames":["Mazzanti"],"firstnames":["Franco"],"suffixes":[]}],"editor":[{"propositions":["ter"],"lastnames":["Beek"],"firstnames":["Maurice","H."],"suffixes":[]},{"propositions":[],"lastnames":["McIver"],"firstnames":["Annabelle"],"suffixes":[]},{"propositions":[],"lastnames":["Oliveira"],"firstnames":["José","N."],"suffixes":[]}],"title":"Adopting Formal Methods in an Industrial Setting: The Railways Case","booktitle":"Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings","series":"Lecture Notes in Computer Science","volume":"11800","pages":"762–772","publisher":"Springer","year":"2019","url":"https://doi.org/10.1007/978-3-030-30942-8\\\\_46","doi":"10.1007/978-3-030-30942-8\\_46","timestamp":"Tue, 09 Jun 2020 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/fm/BeekBFFGLM19.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/fm/BeekBFFGLM19,\n author = {ter Beek, Maurice H. and Bor{\\\"{a}}lv, Arne and Fantechi, Alessandro and Ferrari, Alessio and Gnesi, Stefania and L{\\\"{o}}fving, Christer and Mazzanti, Franco},\n editor = \"ter Beek, Maurice H. and McIver, Annabelle and Oliveira, Jos{\\'{e}} N.\",\n title = \"Adopting Formal Methods in an Industrial Setting: The Railways Case\",\n booktitle = \"Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings\",\n series = \"Lecture Notes in Computer Science\",\n volume = \"11800\",\n pages = \"762--772\",\n publisher = \"Springer\",\n year = \"2019\",\n url = \"https://doi.org/10.1007/978-3-030-30942-8\\\\_46\",\n doi = \"10.1007/978-3-030-30942-8\\\\_46\",\n timestamp = \"Tue, 09 Jun 2020 01:00:00 +0200\",\n biburl = \"https://dblp.org/rec/conf/fm/BeekBFFGLM19.bib\",\n bibsource = \"dblp computer science bibliography, https://dblp.org\"\n}\n\n","author_short":["ter Beek, M. H.","Borälv, A.","Fantechi, A.","Ferrari, A.","Gnesi, S.","Löfving, C.","Mazzanti, F."],"editor_short":["ter Beek, M. H.","McIver, A.","Oliveira, J. N."],"key":"DBLP:conf/fm/BeekBFFGLM19","id":"DBLP:conf/fm/BeekBFFGLM19","bibbaseid":"terbeek-borlv-fantechi-ferrari-gnesi-lfving-mazzanti-adoptingformalmethodsinanindustrialsettingtherailwayscase-2019","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-030-30942-8\\\\_46"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://bibbase.org/network/files/ws3af8SM9SMEYsH2f","dataSources":["YCBcQPneB9oxahSnp","PZg5PtcToSZkgSyYp","qQnqccZvH25J6baZj","WKKW4iPgS2HZ3iYgC","ayX6N9CZwEAB9vnsu","p5NhmgzaptHibbc54","yJus66XMcAovEa59P","Dku8hLpmnK4EMRGxi","o4c8ZrEv4pXJNTWsQ","Am74mndWeepaSMcba","g7R8qBvQHnTH2cmxX","NjpvvPPb5uHsATbEa"],"keywords":[],"search_terms":["adopting","formal","methods","industrial","setting","railways","case","ter beek","borälv","fantechi","ferrari","gnesi","löfving","mazzanti"],"title":"Adopting Formal Methods in an Industrial Setting: The Railways Case","year":2019}