@proceedings{DBLP:conf/icse/2013formalise,
  title     = {1st {FME} Workshop on Formal Methods in Software Engineering, FormaliSE
               2013, San Francisco, CA, USA, May 25, 2013},
  publisher = {{IEEE} Computer Society},
  year      = {2013},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6596468},
  isbn      = {978-1-4673-6292-4},
  timestamp = {Fri, 07 Aug 2015 14:51:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2013formalise},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"RgLA3NAYuLtRrq3iy","bibbaseid":"anonymous-1stfmeworkshoponformalmethodsinsoftwareengineeringformalise2013sanfranciscocausamay252013-2013","downloads":0,"creationDate":"2019-01-01T21:29:59.519Z","title":"1st FME Workshop on Formal Methods in Software Engineering, FormaliSE 2013, San Francisco, CA, USA, May 25, 2013","author_short":null,"year":2013,"bibtype":"proceedings","biburl":"https://dblp.org/pid/77/1325.bib","bibdata":{"bibtype":"proceedings","type":"proceedings","title":"1st FME Workshop on Formal Methods in Software Engineering, FormaliSE 2013, San Francisco, CA, USA, May 25, 2013","publisher":"IEEE Computer Society","year":"2013","url":"http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6596468","isbn":"978-1-4673-6292-4","timestamp":"Fri, 07 Aug 2015 14:51:34 +0200","biburl":"https://dblp.org/rec/bib/conf/icse/2013formalise","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@proceedings{DBLP:conf/icse/2013formalise,\n title = {1st {FME} Workshop on Formal Methods in Software Engineering, FormaliSE\n 2013, San Francisco, CA, USA, May 25, 2013},\n publisher = {{IEEE} Computer Society},\n year = {2013},\n url = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6596468},\n isbn = {978-1-4673-6292-4},\n timestamp = {Fri, 07 Aug 2015 14:51:34 +0200},\n biburl = {https://dblp.org/rec/bib/conf/icse/2013formalise},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","key":"DBLP:conf/icse/2013formalise","id":"DBLP:conf/icse/2013formalise","bibbaseid":"anonymous-1stfmeworkshoponformalmethodsinsoftwareengineeringformalise2013sanfranciscocausamay252013-2013","urls":{"Paper":"http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6596468"},"downloads":0},"search_terms":["1st","fme","workshop","formal","methods","software","engineering","formalise","2013","san","francisco","usa","2013"],"keywords":[],"authorIDs":[],"dataSources":["T3EXMrvgrg4i5Fdur"]}