Home | deutsch  | Legals | Sitemap | KIT

Statically Checking Encapsulation in KeY with the Universe Type System

Statically Checking Encapsulation in KeY with the Universe Type System
Type:Studienarbeit
Date:2006
Supervisor:

Prof. P. H. Schmitt
Andreas Roth

Author:

Benjamin Weiß

Links:PDF

BibTeX

@misc{Weiss2006,
  author       = {Benjamin Wei{\ss}},
  title        = {Statically Checking Encapsulation in {KeY} with the {Universe} Type System},
  howpublished = {Studienarbeit, Fakult{\"a}t f{\"u}r Informatik, Universit{\"a}t Karlsruhe},
  year         = {2006}
}