@TECHREPORT{Pierce&10,
  KEY           = "Pierce\&10",
  AUTHOR        = "Ken Pierce and Nico Plat and Sune Wolff (eds)",
  TITLE         = "Proceedings of the 8th Overture Workshop",
  INSTITUTION   = "Newcastle University",
  ADDRESS       = "Computing Science",
  YEAR          = "2010",
  MONTH         = "November",
  NUMBER        = "CS-TR-1224",
  SIZE          = "73",
  ANNOTE        = "",
  COMMENT       = "BIB PGL"}

%G VDM OVERTURE

{"_id":"cLN6GJK4a8zJbX3sm","authorIDs":[],"author_short":["Pierce, K.","Plat, N.","(eds), S. W."],"bibbaseid":"pierce-plat-eds-proceedingsofthe8thovertureworkshop-2010","bibdata":{"bibtype":"techreport","type":"techreport","key":"Pierce&10","author":[{"firstnames":["Ken"],"propositions":[],"lastnames":["Pierce"],"suffixes":[]},{"firstnames":["Nico"],"propositions":[],"lastnames":["Plat"],"suffixes":[]},{"firstnames":["Sune","Wolff"],"propositions":[],"lastnames":["(eds)"],"suffixes":[]}],"title":"Proceedings of the 8th Overture Workshop","institution":"Newcastle University","address":"Computing Science","year":"2010","month":"November","number":"CS-TR-1224","size":"73","annote":"","comment":"BIB PGL","bibtex":"@TECHREPORT{Pierce&10,\n KEY = \"Pierce\\&10\",\n AUTHOR = \"Ken Pierce and Nico Plat and Sune Wolff (eds)\",\n TITLE = \"Proceedings of the 8th Overture Workshop\",\n INSTITUTION = \"Newcastle University\",\n ADDRESS = \"Computing Science\",\n YEAR = \"2010\",\n MONTH = \"November\",\n NUMBER = \"CS-TR-1224\",\n SIZE = \"73\",\n ANNOTE = \"\",\n COMMENT = \"BIB PGL\"}\n\n%G VDM OVERTURE\n","author_short":["Pierce, K.","Plat, N.","(eds), S. W."],"id":"Pierce&10","bibbaseid":"pierce-plat-eds-proceedingsofthe8thovertureworkshop-2010","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"techreport","biburl":"https://www.overturetool.org/publications/overtureweb.bib","creationDate":"2015-02-14T15:03:00.382Z","downloads":0,"keywords":[],"search_terms":["proceedings","8th","overture","workshop","pierce","plat","(eds)"],"title":"Proceedings of the 8th Overture Workshop","year":2010,"dataSources":["o4zfqwm7cQsSnyzzT","Ys3ykPbs2mksSbLyZ","Crono4ygz53Pqi6FB","nGw4dfQFrDZqKC8vj"]}