@INPROCEEDINGS{Jorgensen&14a,
  KEY           = "J\o{}rgensen\&14",
  AUTHOR        = "Peter W.V. J\o{}rgensen and Lu{\'i}s D. Couto and Morten Larsen",
  TITLE         = "{A Code Generation Platform for VDM}",
  BOOKTITLE     = "The Overture 2014 workshop",
  YEAR          = "2014",
  MONTH         = "June",
  ANNOTE        = ""}

%G VDM OVERTURE TOOL

{"_id":"vXae3PNxjBTiecMaM","bibbaseid":"jrgensen-luisdcouto-larsen-acodegenerationplatformforvdm-2014","author_short":["Jørgensen, P. W.","Luís D. Couto","Larsen, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","key":"Jorgensen&14a","author":[{"firstnames":["Peter","W.V."],"propositions":[],"lastnames":["Jørgensen"],"suffixes":[]},{"firstnames":[],"propositions":[],"lastnames":["Luís D. Couto"],"suffixes":[]},{"firstnames":["Morten"],"propositions":[],"lastnames":["Larsen"],"suffixes":[]}],"title":"A Code Generation Platform for VDM","booktitle":"The Overture 2014 workshop","year":"2014","month":"June","annote":"","bibtex":"@INPROCEEDINGS{Jorgensen&14a,\n KEY = \"J\\o{}rgensen\\&14\",\n AUTHOR = \"Peter W.V. J\\o{}rgensen and Lu{\\'i}s D. Couto and Morten Larsen\",\n TITLE = \"{A Code Generation Platform for VDM}\",\n BOOKTITLE = \"The Overture 2014 workshop\",\n YEAR = \"2014\",\n MONTH = \"June\",\n ANNOTE = \"\"}\n\n%G VDM OVERTURE TOOL\n","author_short":["Jørgensen, P. W.","Luís D. Couto","Larsen, M."],"id":"Jorgensen&14a","bibbaseid":"jrgensen-luisdcouto-larsen-acodegenerationplatformforvdm-2014","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/overturetool/overturetool.github.io/4dc3b48401a19f22e819296af3a5451a27d04f27/publications/overtureweb.bib","dataSources":["Ys3ykPbs2mksSbLyZ"],"keywords":[],"search_terms":["code","generation","platform","vdm","jørgensen","luís d. couto","larsen"],"title":"A Code Generation Platform for VDM","year":2014}