@TECHREPORT{Fitzgerald&08b,
  KEY           = "Fitzgerald\&08",
  AUTHOR        = {J. S. Fitzgerald and P. G. Larsen and S. Sahara},
  TITLE         = "Modelling and Analysis in VDM: Proceedings of the
                   Fourth VDM/Overture Workshop",
  INSTITUTION   = "School of Computing Science, Newcastle University",
  YEAR          = "2008",
  MONTH         = "May",
  NUMBER        = "{CS-TR-1099}",
  SIZE          = "71"}

%G VDM APPLY OVERTURE

{"_id":"bkcevqjnDtpFXa7Fq","authorIDs":[],"author_short":["Fitzgerald, J. S.","Larsen, P. G.","Sahara, S."],"bibbaseid":"fitzgerald-larsen-sahara-modellingandanalysisinvdmproceedingsofthefourthvdmovertureworkshop-2008","bibdata":{"bibtype":"techreport","type":"techreport","key":"Fitzgerald&08b","author":[{"firstnames":["J.","S."],"propositions":[],"lastnames":["Fitzgerald"],"suffixes":[]},{"firstnames":["P.","G."],"propositions":[],"lastnames":["Larsen"],"suffixes":[]},{"firstnames":["S."],"propositions":[],"lastnames":["Sahara"],"suffixes":[]}],"title":"Modelling and Analysis in VDM: Proceedings of the Fourth VDM/Overture Workshop","institution":"School of Computing Science, Newcastle University","year":"2008","month":"May","number":"CS-TR-1099","size":"71","bibtex":"@TECHREPORT{Fitzgerald&08b,\n KEY = \"Fitzgerald\\&08\",\n AUTHOR = {J. S. Fitzgerald and P. G. Larsen and S. Sahara},\n TITLE = \"Modelling and Analysis in VDM: Proceedings of the\n Fourth VDM/Overture Workshop\",\n INSTITUTION = \"School of Computing Science, Newcastle University\",\n YEAR = \"2008\",\n MONTH = \"May\",\n NUMBER = \"{CS-TR-1099}\",\n SIZE = \"71\"}\n\n%G VDM APPLY OVERTURE\n","author_short":["Fitzgerald, J. S.","Larsen, P. G.","Sahara, S."],"id":"Fitzgerald&08b","bibbaseid":"fitzgerald-larsen-sahara-modellingandanalysisinvdmproceedingsofthefourthvdmovertureworkshop-2008","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"techreport","biburl":"https://www.overturetool.org/publications/overtureweb.bib","creationDate":"2015-02-14T15:03:00.331Z","downloads":0,"keywords":[],"search_terms":["modelling","analysis","vdm","proceedings","fourth","vdm","overture","workshop","fitzgerald","larsen","sahara"],"title":"Modelling and Analysis in VDM: Proceedings of the Fourth VDM/Overture Workshop","year":2008,"dataSources":["o4zfqwm7cQsSnyzzT","Ys3ykPbs2mksSbLyZ","Crono4ygz53Pqi6FB","nGw4dfQFrDZqKC8vj"]}