@MASTERSTHESIS{vanderSpek04b,
  KEY           = "vanderSpek04",
  AUTHOR        = "P. van der Spek",
  TITLE         = "The Overture Project: Designing an Open Source Tool Set",
  SCHOOL        = "Delft University of Technology",
  YEAR          = "2004",
  MONTH         = "August",
  PAGES         = "239",
  NOTE          = "",
  ANNOTE        = "",
  COMMENT       = ""}

%G VDM TOOL OVERTURE

{"_id":"jQmMe2nBTu7E6h3b5","bibbaseid":"vanderspek-theovertureprojectdesigninganopensourcetoolset-2004","downloads":0,"creationDate":"2015-12-06T22:52:37.533Z","title":"The Overture Project: Designing an Open Source Tool Set","author_short":["van der Spek, P."],"year":2004,"bibtype":"mastersthesis","biburl":"https://www.overturetool.org/publications/overtureweb.bib","bibdata":{"bibtype":"mastersthesis","type":"mastersthesis","key":"vanderSpek04b","author":[{"firstnames":["P."],"propositions":["van","der"],"lastnames":["Spek"],"suffixes":[]}],"title":"The Overture Project: Designing an Open Source Tool Set","school":"Delft University of Technology","year":"2004","month":"August","pages":"239","note":"","annote":"","comment":"","bibtex":"@MASTERSTHESIS{vanderSpek04b,\n KEY = \"vanderSpek04\",\n AUTHOR = \"P. van der Spek\",\n TITLE = \"The Overture Project: Designing an Open Source Tool Set\",\n SCHOOL = \"Delft University of Technology\",\n YEAR = \"2004\",\n MONTH = \"August\",\n PAGES = \"239\",\n NOTE = \"\",\n ANNOTE = \"\",\n COMMENT = \"\"}\n\n%G VDM TOOL OVERTURE\n","author_short":["van der Spek, P."],"id":"vanderSpek04b","bibbaseid":"vanderspek-theovertureprojectdesigninganopensourcetoolset-2004","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"search_terms":["overture","project","designing","open","source","tool","set","van der spek"],"keywords":[],"authorIDs":[],"dataSources":["o4zfqwm7cQsSnyzzT","Ys3ykPbs2mksSbLyZ","Crono4ygz53Pqi6FB","nGw4dfQFrDZqKC8vj"]}