{"_id":"YARTikNCco7mBftsv","authorIDs":[],"author_short":["Christensen, T. J. H."],"bibbaseid":"christensen-extendingthevdmformalspecificationlanguagewithtypeinferenceandgenericclasses-2007","bibdata":{"bibtype":"mastersthesis","type":"mastersthesis","key":"Christensen07","author":[{"firstnames":["Thomas","John","Hørlyck"],"propositions":[],"lastnames":["Christensen"],"suffixes":[]}],"title":"Extending the VDM++ Formal Specification Language with Type Inference and Generic Classes","school":"Aarhus University","address":"Computer Science Department","year":"2007","month":"April","annote":"","comment":"I have a copy PGL","bibtex":"@MASTERSTHESIS{Christensen07,\n KEY = \"Christensen07\",\n AUTHOR = \"Thomas John H\\o{}rlyck Christensen\",\n TITLE = \"{Extending the VDM++ Formal Specification Language with\n Type Inference and Generic Classes}\",\n SCHOOL = \"Aarhus University\",\n ADDRESS = \"Computer Science Department\",\n YEAR = \"2007\",\n MONTH = \"April\",\n ANNOTE = \"\",\n COMMENT = \"I have a copy PGL\"}\n\n%G TOOL VDM TOOL OVERTURE\n","author_short":["Christensen, T. J. H."],"id":"Christensen07","bibbaseid":"christensen-extendingthevdmformalspecificationlanguagewithtypeinferenceandgenericclasses-2007","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"mastersthesis","biburl":"https://raw.githubusercontent.com/overturetool/overturetool.github.io/4dc3b48401a19f22e819296af3a5451a27d04f27/publications/overtureweb.bib","creationDate":"2015-02-14T17:59:23.087Z","downloads":0,"keywords":[],"search_terms":["extending","vdm","formal","specification","language","type","inference","generic","classes","christensen"],"title":"Extending the VDM++ Formal Specification Language with Type Inference and Generic Classes","year":2007,"dataSources":["o4zfqwm7cQsSnyzzT","Ys3ykPbs2mksSbLyZ","Crono4ygz53Pqi6FB","nGw4dfQFrDZqKC8vj"]}