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