Prof. P. H. Schmitt Andreas Roth
Benjamin Weiß
@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}}