{"_id":"CiRqx4m8EFMkebfF2","authorIDs":[],"author_short":["Nielsen, J. P.","Hansen, J. K."],"bibbaseid":"nielsen-hansen-developmentofanoverturevdmtoolsetforeclipse-2005","bibdata":{"bibtype":"mastersthesis","type":"mastersthesis","key":"Nielsen&05","author":[{"firstnames":["Jacob","Porsborg"],"propositions":[],"lastnames":["Nielsen"],"suffixes":[]},{"firstnames":["Jens","Kielsgaard"],"propositions":[],"lastnames":["Hansen"],"suffixes":[]}],"title":"Development of an Overture/VDM++ Tool Set for Eclipse","school":"Technical University of Denmark","address":"Informatics and Mathematical Modelling","year":"2005","month":"August","note":"IMM-THESIS-2005-58","annote":"","comment":"I have a copy PGL","bibtex":"@MASTERSTHESIS{Nielsen&05,\n KEY = \"Nielsen\\&05\",\n AUTHOR = \"Jacob Porsborg Nielsen and Jens Kielsgaard Hansen\",\n TITLE = \"{Development of an Overture/VDM++ Tool Set for Eclipse}\",\n SCHOOL = \"Technical University of Denmark\",\n ADDRESS = \"Informatics and Mathematical Modelling\",\n YEAR = \"2005\",\n MONTH = \"August\",\n NOTE = \"IMM-THESIS-2005-58\",\n ANNOTE = \"\",\n COMMENT = \"I have a copy PGL\"}\n\n%G VDM TOOL OVERTURE\n","author_short":["Nielsen, J. P.","Hansen, J. K."],"id":"Nielsen&05","bibbaseid":"nielsen-hansen-developmentofanoverturevdmtoolsetforeclipse-2005","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"mastersthesis","biburl":"https://www.overturetool.org/publications/overtureweb.bib","creationDate":"2015-02-14T15:03:00.377Z","downloads":0,"keywords":[],"search_terms":["development","overture","vdm","tool","set","eclipse","nielsen","hansen"],"title":"Development of an Overture/VDM++ Tool Set for Eclipse","year":2005,"dataSources":["o4zfqwm7cQsSnyzzT","Ys3ykPbs2mksSbLyZ","Crono4ygz53Pqi6FB","nGw4dfQFrDZqKC8vj"]}