@MASTERSTHESIS{Santos08,
  KEY           = "Santos08",
  AUTHOR        = "Adriana Sucena Santos",
  TITLE         = "{VDM++ Test Automation Support}",
  SCHOOL        = "{Minho University with exchange to Engineering College of Arhus}",
  YEAR          = "2008",
  MONTH         = "July",
  ANNOTE        = "",
  COMMENT       = "I have the pdf PGL"}

%G VDM OVERTURE

{"_id":"mQkNqYYXNC8xtLaKy","authorIDs":[],"author_short":["Santos, A. S."],"bibbaseid":"santos-vdmtestautomationsupport-2008","bibdata":{"bibtype":"mastersthesis","type":"mastersthesis","key":"Santos08","author":[{"firstnames":["Adriana","Sucena"],"propositions":[],"lastnames":["Santos"],"suffixes":[]}],"title":"VDM++ Test Automation Support","school":"Minho University with exchange to Engineering College of Arhus","year":"2008","month":"July","annote":"","comment":"I have the pdf PGL","bibtex":"@MASTERSTHESIS{Santos08,\n KEY = \"Santos08\",\n AUTHOR = \"Adriana Sucena Santos\",\n TITLE = \"{VDM++ Test Automation Support}\",\n SCHOOL = \"{Minho University with exchange to Engineering College of Arhus}\",\n YEAR = \"2008\",\n MONTH = \"July\",\n ANNOTE = \"\",\n COMMENT = \"I have the pdf PGL\"}\n\n%G VDM OVERTURE\n","author_short":["Santos, A. S."],"id":"Santos08","bibbaseid":"santos-vdmtestautomationsupport-2008","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"mastersthesis","biburl":"https://www.overturetool.org/publications/overtureweb.bib","creationDate":"2015-02-14T17:59:23.091Z","downloads":0,"keywords":[],"search_terms":["vdm","test","automation","support","santos"],"title":"VDM++ Test Automation Support","year":2008,"dataSources":["o4zfqwm7cQsSnyzzT","Ys3ykPbs2mksSbLyZ","Crono4ygz53Pqi6FB","nGw4dfQFrDZqKC8vj"]}