@INPROCEEDINGS{Jorgensen&13d,
  KEY           = "J\o{}rgensen\&13",
  AUTHOR        = "Nick Battle and Anne Haxthausen and Sako Hiroshi and Peter W. V. J\o{}rgensen and Nico Plat and Shin Sahara and Marcel Verhoef",
  TITLE         = "{The Overture Approach to VDM Language Evolution}",
  BOOKTITLE     = "The Overture 2013 workshop",
  YEAR          = "2013",
  MONTH         = "August",
  ANNOTE        = ""}

%G VDM OVERTURE TOOL

{"_id":"Mcey2y5eoSDqwbhRu","authorIDs":[],"author_short":["Battle, N.","Haxthausen, A.","Hiroshi, S.","Jørgensen, P. W. V.","Plat, N.","Sahara, S.","Verhoef, M."],"bibbaseid":"battle-haxthausen-hiroshi-jrgensen-plat-sahara-verhoef-theovertureapproachtovdmlanguageevolution-2013","bibdata":{"bibtype":"inproceedings","type":"inproceedings","key":"Jorgensen&13d","author":[{"firstnames":["Nick"],"propositions":[],"lastnames":["Battle"],"suffixes":[]},{"firstnames":["Anne"],"propositions":[],"lastnames":["Haxthausen"],"suffixes":[]},{"firstnames":["Sako"],"propositions":[],"lastnames":["Hiroshi"],"suffixes":[]},{"firstnames":["Peter","W.","V."],"propositions":[],"lastnames":["Jørgensen"],"suffixes":[]},{"firstnames":["Nico"],"propositions":[],"lastnames":["Plat"],"suffixes":[]},{"firstnames":["Shin"],"propositions":[],"lastnames":["Sahara"],"suffixes":[]},{"firstnames":["Marcel"],"propositions":[],"lastnames":["Verhoef"],"suffixes":[]}],"title":"The Overture Approach to VDM Language Evolution","booktitle":"The Overture 2013 workshop","year":"2013","month":"August","annote":"","bibtex":"@INPROCEEDINGS{Jorgensen&13d,\n KEY = \"J\\o{}rgensen\\&13\",\n AUTHOR = \"Nick Battle and Anne Haxthausen and Sako Hiroshi and Peter W. V. J\\o{}rgensen and Nico Plat and Shin Sahara and Marcel Verhoef\",\n TITLE = \"{The Overture Approach to VDM Language Evolution}\",\n BOOKTITLE = \"The Overture 2013 workshop\",\n YEAR = \"2013\",\n MONTH = \"August\",\n ANNOTE = \"\"}\n\n%G VDM OVERTURE TOOL\n","author_short":["Battle, N.","Haxthausen, A.","Hiroshi, S.","Jørgensen, P. W. V.","Plat, N.","Sahara, S.","Verhoef, M."],"id":"Jorgensen&13d","bibbaseid":"battle-haxthausen-hiroshi-jrgensen-plat-sahara-verhoef-theovertureapproachtovdmlanguageevolution-2013","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"overturetool.org/publications/overtureweb.bib","creationDate":"2015-02-14T15:03:00.324Z","downloads":0,"keywords":[],"search_terms":["overture","approach","vdm","language","evolution","battle","haxthausen","hiroshi","jørgensen","plat","sahara","verhoef"],"title":"The Overture Approach to VDM Language Evolution","year":2013,"dataSources":["nGw4dfQFrDZqKC8vj","o4zfqwm7cQsSnyzzT","Crono4ygz53Pqi6FB"]}