@TECHREPORT{Battle&15,
  KEY           = "Battle\&15",
  AUTHOR        = "Battle, Nick and Fitzgerald, John",
  INSTITUTION   = "{School of Computing Science, Newcastle University}",
  TITLE         = "{Proceedings of the 12th Overture Workshop, Newcastle University, 21 June, 2014}",
  NUMBER        = "CS-TR-1446",
  YEAR          = "2014",
  PAGES         = "52",
  url_Paper     = {http://www.cs.ncl.ac.uk/publications/trs/papers/1446.pdf},
  MONTH         = "January"}

%G VDM OVERTURE TOOL

{"_id":"GjjwLbt7kvQ7fjXq2","authorIDs":[],"author_short":["Battle, N.","Fitzgerald, J."],"bibbaseid":"battle-fitzgerald-proceedingsofthe12thovertureworkshopnewcastleuniversity21june2014-2014","bibdata":{"bibtype":"techreport","type":"techreport","key":"Battle&15","author":[{"propositions":[],"lastnames":["Battle"],"firstnames":["Nick"],"suffixes":[]},{"propositions":[],"lastnames":["Fitzgerald"],"firstnames":["John"],"suffixes":[]}],"institution":"School of Computing Science, Newcastle University","title":"Proceedings of the 12th Overture Workshop, Newcastle University, 21 June, 2014","number":"CS-TR-1446","year":"2014","pages":"52","url_paper":"http://www.cs.ncl.ac.uk/publications/trs/papers/1446.pdf","month":"January","bibtex":"@TECHREPORT{Battle&15,\n KEY = \"Battle\\&15\",\n AUTHOR = \"Battle, Nick and Fitzgerald, John\",\n INSTITUTION = \"{School of Computing Science, Newcastle University}\",\n TITLE = \"{Proceedings of the 12th Overture Workshop, Newcastle University, 21 June, 2014}\",\n NUMBER = \"CS-TR-1446\",\n YEAR = \"2014\",\n PAGES = \"52\",\n url_Paper = {http://www.cs.ncl.ac.uk/publications/trs/papers/1446.pdf},\n MONTH = \"January\"}\n\n%G VDM OVERTURE TOOL\n","author_short":["Battle, N.","Fitzgerald, J."],"id":"Battle&15","bibbaseid":"battle-fitzgerald-proceedingsofthe12thovertureworkshopnewcastleuniversity21june2014-2014","role":"author","urls":{" paper":"http://www.cs.ncl.ac.uk/publications/trs/papers/1446.pdf"},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"techreport","biburl":"https://www.overturetool.org/publications/overtureweb.bib","creationDate":"2015-02-11T19:59:52.105Z","downloads":0,"keywords":[],"search_terms":["proceedings","12th","overture","workshop","newcastle","university","june","2014","battle","fitzgerald"],"title":"Proceedings of the 12th Overture Workshop, Newcastle University, 21 June, 2014","year":2014,"dataSources":["o4zfqwm7cQsSnyzzT","Ys3ykPbs2mksSbLyZ","Crono4ygz53Pqi6FB","nGw4dfQFrDZqKC8vj"]}