@MASTERSTHESIS{Ribeiro08,
  KEY           = "Ribeiro08",
  AUTHOR        = "Augusto Ribeiro",
  TITLE         = "{An Extended Proof Obligation Generator for VDM++/OML}",
  SCHOOL        = "{Minho University with exchange to Engineering College
                   of Arhus}",
  YEAR          = "2008",
  MONTH         = "July",
  ANNOTE        = "",
  COMMENT       = "I have the pdf PGL"}

%G VDM COSIM TOOL OVERTURE

{"_id":"2zs5nfmYKTTGJa9fG","bibbaseid":"ribeiro-anextendedproofobligationgeneratorforvdmoml-2008","downloads":0,"creationDate":"2015-05-27T07:56:49.958Z","title":"An Extended Proof Obligation Generator for VDM++/OML","author_short":["Ribeiro, A."],"year":2008,"bibtype":"mastersthesis","biburl":"https://www.overturetool.org/publications/overtureweb.bib","bibdata":{"bibtype":"mastersthesis","type":"mastersthesis","key":"Ribeiro08","author":[{"firstnames":["Augusto"],"propositions":[],"lastnames":["Ribeiro"],"suffixes":[]}],"title":"An Extended Proof Obligation Generator for VDM++/OML","school":"Minho University with exchange to Engineering College of Arhus","year":"2008","month":"July","annote":"","comment":"I have the pdf PGL","bibtex":"@MASTERSTHESIS{Ribeiro08,\n KEY = \"Ribeiro08\",\n AUTHOR = \"Augusto Ribeiro\",\n TITLE = \"{An Extended Proof Obligation Generator for VDM++/OML}\",\n SCHOOL = \"{Minho University with exchange to Engineering College\n of Arhus}\",\n YEAR = \"2008\",\n MONTH = \"July\",\n ANNOTE = \"\",\n COMMENT = \"I have the pdf PGL\"}\n\n%G VDM COSIM TOOL OVERTURE\n","author_short":["Ribeiro, A."],"id":"Ribeiro08","bibbaseid":"ribeiro-anextendedproofobligationgeneratorforvdmoml-2008","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"search_terms":["extended","proof","obligation","generator","vdm","oml","ribeiro"],"keywords":[],"authorIDs":[],"dataSources":["o4zfqwm7cQsSnyzzT","Ys3ykPbs2mksSbLyZ","Crono4ygz53Pqi6FB","nGw4dfQFrDZqKC8vj"]}