@TECHREPORT{Fitzgerald&06a,
  KEY           = "Fitzgerald\&06a",
  AUTHOR        = "J. S. Fitzgerald and P. G. Larsen and N. Plat~(Eds.)",
  TITLE         = "{Towards Next Generation Tools for VDM: Contributions to the First International Overture Workshop, Newcastle, July 2005}",
  INSTITUTION   = "School of Computing Science, Newcastle University",
  NUMBER        = "CS-TR-969",
  MONTH         = "June",
  YEAR          = "2006"
}

%G VDM OVERTURE

{"_id":"YKZkcuepqum5PjFqy","bibbaseid":"fitzgerald-larsen-plateds-towardsnextgenerationtoolsforvdmcontributionstothefirstinternationalovertureworkshopnewcastlejuly2005-2006","downloads":0,"creationDate":"2016-06-27T19:36:48.226Z","title":"Towards Next Generation Tools for VDM: Contributions to the First International Overture Workshop, Newcastle, July 2005","author_short":["Fitzgerald, J. S.","Larsen, P. G.","Plat (Eds.), N."],"year":2006,"bibtype":"techreport","biburl":"https://www.overturetool.org/publications/overtureweb.bib","bibdata":{"bibtype":"techreport","type":"techreport","key":"Fitzgerald&06a","author":[{"firstnames":["J.","S."],"propositions":[],"lastnames":["Fitzgerald"],"suffixes":[]},{"firstnames":["P.","G."],"propositions":[],"lastnames":["Larsen"],"suffixes":[]},{"firstnames":["N."],"propositions":[],"lastnames":["Plat (Eds.)"],"suffixes":[]}],"title":"Towards Next Generation Tools for VDM: Contributions to the First International Overture Workshop, Newcastle, July 2005","institution":"School of Computing Science, Newcastle University","number":"CS-TR-969","month":"June","year":"2006","bibtex":"@TECHREPORT{Fitzgerald&06a,\n KEY = \"Fitzgerald\\&06a\",\n AUTHOR = \"J. S. Fitzgerald and P. G. Larsen and N. Plat~(Eds.)\",\n TITLE = \"{Towards Next Generation Tools for VDM: Contributions to the First International Overture Workshop, Newcastle, July 2005}\",\n INSTITUTION = \"School of Computing Science, Newcastle University\",\n NUMBER = \"CS-TR-969\",\n MONTH = \"June\",\n YEAR = \"2006\"\n}\n\n%G VDM OVERTURE\n","author_short":["Fitzgerald, J. S.","Larsen, P. G.","Plat (Eds.), N."],"id":"Fitzgerald&06a","bibbaseid":"fitzgerald-larsen-plateds-towardsnextgenerationtoolsforvdmcontributionstothefirstinternationalovertureworkshopnewcastlejuly2005-2006","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"search_terms":["towards","next","generation","tools","vdm","contributions","first","international","overture","workshop","newcastle","july","2005","fitzgerald","larsen","plat (eds.)"],"keywords":[],"authorIDs":[],"dataSources":["o4zfqwm7cQsSnyzzT","Ys3ykPbs2mksSbLyZ","Crono4ygz53Pqi6FB","nGw4dfQFrDZqKC8vj"]}