@INPROCEEDINGS{Jorgensen&14a,
  KEY           = "J{\o}rgensen\&14",
  AUTHOR        = "J{\o}rgensen, Peter W. V. and Larsen, Morten and Couto, Lu{\'i}s D.",
  TITLE         = "{A Code Generation Platform for VDM}",
  BOOKTITLE     = "{Proceedings of the 12th Overture Workshop}",
  EDITOR        = "Battle, Nick and Fitzgerald, John",
  YEAR          = "2015",
  MONTH         = "January",
  PUBLISHER     = "School of Computing Science, Newcastle University, UK, Technical Report CS-TR-1446",
  url_Paper     = {http://www.cs.ncl.ac.uk/publications/trs/papers/1446.pdf}
}

%G VDM JML OVERTURE

{"_id":"WxD54tc2n8P4eJDQ3","authorIDs":[],"author_short":["Jørgensen, P. W. V.","Larsen, M.","Couto, L."],"bibbaseid":"jrgensen-larsen-couto-acodegenerationplatformforvdm-2015","bibdata":{"bibtype":"inproceedings","type":"inproceedings","key":"Jorgensen&14a","author":[{"propositions":[],"lastnames":["Jørgensen"],"firstnames":["Peter","W.","V."],"suffixes":[]},{"propositions":[],"lastnames":["Larsen"],"firstnames":["Morten"],"suffixes":[]},{"propositions":[],"lastnames":["Couto"],"firstnames":["Luís D."],"suffixes":[]}],"title":"A Code Generation Platform for VDM","booktitle":"Proceedings of the 12th Overture Workshop","editor":[{"propositions":[],"lastnames":["Battle"],"firstnames":["Nick"],"suffixes":[]},{"propositions":[],"lastnames":["Fitzgerald"],"firstnames":["John"],"suffixes":[]}],"year":"2015","month":"January","publisher":"School of Computing Science, Newcastle University, UK, Technical Report CS-TR-1446","url_paper":"http://www.cs.ncl.ac.uk/publications/trs/papers/1446.pdf","bibtex":"@INPROCEEDINGS{Jorgensen&14a,\n KEY = \"J{\\o}rgensen\\&14\",\n AUTHOR = \"J{\\o}rgensen, Peter W. V. and Larsen, Morten and Couto, Lu{\\'i}s D.\",\n TITLE = \"{A Code Generation Platform for VDM}\",\n BOOKTITLE = \"{Proceedings of the 12th Overture Workshop}\",\n EDITOR = \"Battle, Nick and Fitzgerald, John\",\n YEAR = \"2015\",\n MONTH = \"January\",\n PUBLISHER = \"School of Computing Science, Newcastle University, UK, Technical Report CS-TR-1446\",\n url_Paper = {http://www.cs.ncl.ac.uk/publications/trs/papers/1446.pdf}\n}\n\n%G VDM JML OVERTURE\n","author_short":["Jørgensen, P. W. V.","Larsen, M.","Couto, L."],"editor_short":["Battle, N.","Fitzgerald, J."],"id":"Jorgensen&14a","bibbaseid":"jrgensen-larsen-couto-acodegenerationplatformforvdm-2015","role":"author","urls":{" paper":"http://www.cs.ncl.ac.uk/publications/trs/papers/1446.pdf"},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"https://www.overturetool.org/publications/overtureweb.bib","creationDate":"2015-02-11T20:27:07.293Z","downloads":0,"keywords":[],"search_terms":["code","generation","platform","vdm","jørgensen","larsen","couto"],"title":"A Code Generation Platform for VDM","year":2015,"dataSources":["nGw4dfQFrDZqKC8vj","o4zfqwm7cQsSnyzzT","Crono4ygz53Pqi6FB"]}