{"_id":"CreH3DKnqJEsirNcS","bibbaseid":"vanderspek-theovertureprojecttowardsanopensourcetoolset-2004","downloads":0,"creationDate":"2015-12-06T22:52:37.531Z","title":"The Overture Project: Towards an open source toolset","author_short":["van der Spek, P."],"year":2004,"bibtype":"techreport","biburl":"https://raw.githubusercontent.com/overturetool/overturetool.github.io/4dc3b48401a19f22e819296af3a5451a27d04f27/publications/overtureweb.bib","bibdata":{"bibtype":"techreport","type":"techreport","key":"vanderSpek04a","author":[{"firstnames":["P."],"propositions":["van","der"],"lastnames":["Spek"],"suffixes":[]}],"title":"The Overture Project: Towards an open source toolset","institution":"Delft University of Technology","year":"2004","month":"January","pages":"122","note":"","annote":"","comment":"","bibtex":"@TECHREPORT{vanderSpek04a,\n KEY = \"vanderSpek04\",\n AUTHOR = \"P. van der Spek\",\n TITLE = \"The Overture Project: Towards an open source toolset\",\n INSTITUTION = \"Delft University of Technology\",\n YEAR = \"2004\",\n MONTH = \"January\",\n PAGES = \"122\",\n NOTE = \"\",\n ANNOTE = \"\",\n COMMENT = \"\"}\n\n%G OML VDM VDM++ OVERTURE\n","author_short":["van der Spek, P."],"id":"vanderSpek04a","bibbaseid":"vanderspek-theovertureprojecttowardsanopensourcetoolset-2004","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0},"search_terms":["overture","project","towards","open","source","toolset","van der spek"],"keywords":[],"authorIDs":[],"dataSources":["o4zfqwm7cQsSnyzzT","Ys3ykPbs2mksSbLyZ","Crono4ygz53Pqi6FB","nGw4dfQFrDZqKC8vj"]}