@proceedings{DBLP:conf/sefm/2014,
  editor    = {Dimitra Giannakopoulou and
               Gwen Sala{\"{u}}n},
  title     = {Software Engineering and Formal Methods - 12th International Conference,
               {SEFM} 2014, Grenoble, France, September 1-5, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8702},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-10431-7},
  doi       = {10.1007/978-3-319-10431-7},
  isbn      = {978-3-319-10430-0},
  timestamp = {Wed, 14 Nov 2018 10:56:41 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sefm/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"Zf5tB5uFf8L8dEt8h","bibbaseid":"giannakopoulou-salan-softwareengineeringandformalmethods12thinternationalconferencesefm2014grenoblefranceseptember152014proceedings-2014","downloads":0,"creationDate":"2019-03-31T12:02:10.142Z","title":"Software Engineering and Formal Methods - 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings","author_short":null,"year":2014,"bibtype":"proceedings","biburl":"https://dblp.org/pid/117/3450.bib","bibdata":{"bibtype":"proceedings","type":"proceedings","editor":[{"firstnames":["Dimitra"],"propositions":[],"lastnames":["Giannakopoulou"],"suffixes":[]},{"firstnames":["Gwen"],"propositions":[],"lastnames":["Salaün"],"suffixes":[]}],"title":"Software Engineering and Formal Methods - 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings","series":"Lecture Notes in Computer Science","volume":"8702","publisher":"Springer","year":"2014","url":"https://doi.org/10.1007/978-3-319-10431-7","doi":"10.1007/978-3-319-10431-7","isbn":"978-3-319-10430-0","timestamp":"Wed, 14 Nov 2018 10:56:41 +0100","biburl":"https://dblp.org/rec/bib/conf/sefm/2014","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@proceedings{DBLP:conf/sefm/2014,\n editor = {Dimitra Giannakopoulou and\n Gwen Sala{\\\"{u}}n},\n title = {Software Engineering and Formal Methods - 12th International Conference,\n {SEFM} 2014, Grenoble, France, September 1-5, 2014. Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {8702},\n publisher = {Springer},\n year = {2014},\n url = {https://doi.org/10.1007/978-3-319-10431-7},\n doi = {10.1007/978-3-319-10431-7},\n isbn = {978-3-319-10430-0},\n timestamp = {Wed, 14 Nov 2018 10:56:41 +0100},\n biburl = {https://dblp.org/rec/bib/conf/sefm/2014},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","editor_short":["Giannakopoulou, D.","Salaün, G."],"key":"DBLP:conf/sefm/2014","id":"DBLP:conf/sefm/2014","bibbaseid":"giannakopoulou-salan-softwareengineeringandformalmethods12thinternationalconferencesefm2014grenoblefranceseptember152014proceedings-2014","role":"editor","urls":{"Paper":"https://doi.org/10.1007/978-3-319-10431-7"},"downloads":0},"search_terms":["software","engineering","formal","methods","12th","international","conference","sefm","2014","grenoble","france","september","2014","proceedings"],"keywords":[],"authorIDs":[],"dataSources":["CXr5PRHZ4E5hcekwd"]}