Eberhard Karls Universität Tübingen

Mathematisch-Naturwissenschaftliche FakultätProgramming Languages and Software Technology

Virtuelle Trennung von Belangen

Author's version
gi11_kurz.pdf

by Christian Kästner

In Ausgezeichnete Informatikdissertationen 2010. Gesellschaft für Informatik (GI), 2011.