Description Logic Based Reasoning on Programming Languages

Haan, Ronald de

by Ronald de Haan

Reference:

Description Logic Based Reasoning on Programming LanguagesRonald de Haan2012, Master's thesis, Technische Universität Wien.

Bibtex Entry:

@MastersThesis{DeHaan12,
  author = {Ronald de Haan},
  title = {Description Logic Based Reasoning on Programming Languages},
  school =  {Technische Universit\"{a}t Wien},
  year = 2012,
  url = {http://ronalddehaan.eu/files/MScThesis_deHaan_2012.pdf},
}