@MASTERSTHESIS{Vilhena08,
  KEY           = "Vilhena08",
  AUTHOR        = "Carlos Vilhena",
  TITLE         = "{Connecting between VDM++ and JML}",
  SCHOOL        = "{Minho University with exchange to Engineering College of Arhus}",
  YEAR          = "2008",
  MONTH         = "July",
  ANNOTE        = "",
  COMMENT       = "I have a copy PGL"}

% G OVERTURE VDM TOOL

{"_id":"jSmSYHvPcgPPWf9tq","authorIDs":[],"author_short":["Vilhena, C."],"bibbaseid":"vilhena-connectingbetweenvdmandjml-2008","bibdata":{"bibtype":"mastersthesis","type":"mastersthesis","key":"Vilhena08","author":[{"firstnames":["Carlos"],"propositions":[],"lastnames":["Vilhena"],"suffixes":[]}],"title":"Connecting between VDM++ and JML","school":"Minho University with exchange to Engineering College of Arhus","year":"2008","month":"July","annote":"","comment":"I have a copy PGL","bibtex":"@MASTERSTHESIS{Vilhena08,\n KEY = \"Vilhena08\",\n AUTHOR = \"Carlos Vilhena\",\n TITLE = \"{Connecting between VDM++ and JML}\",\n SCHOOL = \"{Minho University with exchange to Engineering College of Arhus}\",\n YEAR = \"2008\",\n MONTH = \"July\",\n ANNOTE = \"\",\n COMMENT = \"I have a copy PGL\"}\n\n% G OVERTURE VDM TOOL\n","author_short":["Vilhena, C."],"id":"Vilhena08","bibbaseid":"vilhena-connectingbetweenvdmandjml-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.089Z","downloads":0,"keywords":[],"search_terms":["connecting","between","vdm","jml","vilhena"],"title":"Connecting between VDM++ and JML","year":2008,"dataSources":["o4zfqwm7cQsSnyzzT","Ys3ykPbs2mksSbLyZ","Crono4ygz53Pqi6FB","nGw4dfQFrDZqKC8vj"]}