@MASTERSTHESIS{Christensen07,
  KEY           = "Christensen07",
  AUTHOR        = "Thomas John H\o{}rlyck Christensen",
  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"}

%G TOOL VDM TOOL OVERTURE

{"_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,"html":""},"bibtype":"mastersthesis","biburl":"https://www.overturetool.org/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"]}