@proceedings{ dblp1723811,
  title = {Proceedings of the First Workshop on Formal Methods in Software Engineering Education and Training, FMSEE&T 2015, co-located with 20th International Symposium on Formal Methods (FM 2015), Oslo, Norway, June 23, 2015},
  author = {Andreas Bollin and Tiziana Margaria and Isabelle Perseil},
  author_short = {Bollin, A. and Margaria, T. and Perseil, I.},
  bibtype = {proceedings},
  type = {proceedings},
  year = {2015},
  key = {dblp1723811},
  id = {dblp1723811},
  biburl = {http://www.dblp.org/rec/bibtex/conf/fm/2015fmseet},
  url = {http://ceur-ws.org/Vol-1385},
  conference = {FMSEE&T@FM},
  text = {FMSEE&T@FM 2015},
  booktitle = {Proceedings of FMSEE&T@FM}
}

{"_id":"ykDEM2EDNHBpYBv3R","bibbaseid":"bollin-margaria-perseil-proceedingsofthefirstworkshoponformalmethodsinsoftwareengineeringeducationandtrainingfmseet2015colocatedwith20thinternationalsymposiumonformalmethodsfm2015oslonorwayjune232015-2015","downloads":0,"creationDate":"2015-12-04T23:16:18.882Z","title":"Proceedings of the First Workshop on Formal Methods in Software Engineering Education and Training, FMSEE&T 2015, co-located with 20th International Symposium on Formal Methods (FM 2015), Oslo, Norway, June 23, 2015","author_short":["Bollin, A.","Margaria, T.","Perseil, I."],"year":2015,"bibtype":"proceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/fm/2015fmseet","bibdata":{"title":"Proceedings of the First Workshop on Formal Methods in Software Engineering Education and Training, FMSEE&T 2015, co-located with 20th International Symposium on Formal Methods (FM 2015), Oslo, Norway, June 23, 2015","author":["Andreas Bollin","Tiziana Margaria","Isabelle Perseil"],"author_short":["Bollin, A.","Margaria, T.","Perseil, I."],"bibtype":"proceedings","type":"proceedings","year":"2015","key":"dblp1723811","id":"dblp1723811","biburl":"http://www.dblp.org/rec/bibtex/conf/fm/2015fmseet","url":"http://ceur-ws.org/Vol-1385","conference":"FMSEE&T@FM","text":"FMSEE&T@FM 2015","booktitle":"Proceedings of FMSEE&T@FM","bibtex":"@proceedings{ dblp1723811,\n title = {Proceedings of the First Workshop on Formal Methods in Software Engineering Education and Training, FMSEE&T 2015, co-located with 20th International Symposium on Formal Methods (FM 2015), Oslo, Norway, June 23, 2015},\n author = {Andreas Bollin and Tiziana Margaria and Isabelle Perseil},\n author_short = {Bollin, A. and Margaria, T. and Perseil, I.},\n bibtype = {proceedings},\n type = {proceedings},\n year = {2015},\n key = {dblp1723811},\n id = {dblp1723811},\n biburl = {http://www.dblp.org/rec/bibtex/conf/fm/2015fmseet},\n url = {http://ceur-ws.org/Vol-1385},\n conference = {FMSEE&T@FM},\n text = {FMSEE&T@FM 2015},\n booktitle = {Proceedings of FMSEE&T@FM}\n}","bibbaseid":"bollin-margaria-perseil-proceedingsofthefirstworkshoponformalmethodsinsoftwareengineeringeducationandtrainingfmseet2015colocatedwith20thinternationalsymposiumonformalmethodsfm2015oslonorwayjune232015-2015","role":"author","urls":{"Paper":"http://ceur-ws.org/Vol-1385"},"downloads":0},"search_terms":["proceedings","first","workshop","formal","methods","software","engineering","education","training","fmsee","2015","located","20th","international","symposium","formal","methods","2015","oslo","norway","june","2015","bollin","margaria","perseil"],"keywords":[],"authorIDs":[],"dataSources":["Jin8NNhJs3YFhPq7Z"]}