Home | english  | Impressum | Sitemap | KIT

Statically Checking Encapsulation in KeY with the Universe Type System

Statically Checking Encapsulation in KeY with the Universe Type System
Typ:Studienarbeit
Datum:2006
Betreuer:

Prof. P. H. Schmitt
Andreas Roth

Bearbeiter:

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}
}