@article{journals/sosym/BarthePS15,
  added-at = {2020-09-18T00:00:00.000+0200},
  author = {Barthe, Gilles and Pardo, Alberto and Schneider, Gerardo},
  biburl = {https://www.bibsonomy.org/bibtex/2b7cbcd8363cb87199cc02e557102dd0a/dblp},
  ee = {https://doi.org/10.1007/s10270-014-0404-6},
  interhash = {967c6a8e34f1566df1cd9bcd0c1526fa},
  intrahash = {b7cbcd8363cb87199cc02e557102dd0a},
  journal = {Softw. Syst. Model.},
  keywords = {dblp},
  number = 1,
  pages = {3-4},
  timestamp = {2020-09-19T11:40:11.000+0200},
  title = {SEFM: software engineering and formal methods.},
  url = {http://dblp.uni-trier.de/db/journals/sosym/sosym14.html#BarthePS15},
  volume = 14,
  year = 2015
}

{"_id":"9gk6j4uaux3JhRNFh","bibbaseid":"barthe-pardo-schneider-sefmsoftwareengineeringandformalmethods-2015","author_short":["Barthe, G.","Pardo, A.","Schneider, G."],"bibdata":{"bibtype":"article","type":"article","added-at":"2020-09-18T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Barthe"],"firstnames":["Gilles"],"suffixes":[]},{"propositions":[],"lastnames":["Pardo"],"firstnames":["Alberto"],"suffixes":[]},{"propositions":[],"lastnames":["Schneider"],"firstnames":["Gerardo"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2b7cbcd8363cb87199cc02e557102dd0a/dblp","ee":"https://doi.org/10.1007/s10270-014-0404-6","interhash":"967c6a8e34f1566df1cd9bcd0c1526fa","intrahash":"b7cbcd8363cb87199cc02e557102dd0a","journal":"Softw. Syst. Model.","keywords":"dblp","number":"1","pages":"3-4","timestamp":"2020-09-19T11:40:11.000+0200","title":"SEFM: software engineering and formal methods.","url":"http://dblp.uni-trier.de/db/journals/sosym/sosym14.html#BarthePS15","volume":"14","year":"2015","bibtex":"@article{journals/sosym/BarthePS15,\n added-at = {2020-09-18T00:00:00.000+0200},\n author = {Barthe, Gilles and Pardo, Alberto and Schneider, Gerardo},\n biburl = {https://www.bibsonomy.org/bibtex/2b7cbcd8363cb87199cc02e557102dd0a/dblp},\n ee = {https://doi.org/10.1007/s10270-014-0404-6},\n interhash = {967c6a8e34f1566df1cd9bcd0c1526fa},\n intrahash = {b7cbcd8363cb87199cc02e557102dd0a},\n journal = {Softw. Syst. Model.},\n keywords = {dblp},\n number = 1,\n pages = {3-4},\n timestamp = {2020-09-19T11:40:11.000+0200},\n title = {SEFM: software engineering and formal methods.},\n url = {http://dblp.uni-trier.de/db/journals/sosym/sosym14.html#BarthePS15},\n volume = 14,\n year = 2015\n}\n\n","author_short":["Barthe, G.","Pardo, A.","Schneider, G."],"key":"journals/sosym/BarthePS15","id":"journals/sosym/BarthePS15","bibbaseid":"barthe-pardo-schneider-sefmsoftwareengineeringandformalmethods-2015","role":"author","urls":{"Link":"https://doi.org/10.1007/s10270-014-0404-6","Paper":"http://dblp.uni-trier.de/db/journals/sosym/sosym14.html#BarthePS15"},"keyword":["dblp"],"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/Schneider?items=1000","dataSources":["i8SRmtQi2JMEkzH9M"],"keywords":["dblp"],"search_terms":["sefm","software","engineering","formal","methods","barthe","pardo","schneider"],"title":"SEFM: software engineering and formal methods.","year":2015}