Jung, Georg Programming Logics, MPI for Informatics, Max Planck Society;
Jung, G. (2001). Ein Frontend für die Anwendung von Model Checking auf die Analyse von Array Bounds für C Programme. Master Thesis, Universität des Saarlandes, Saarbrücken.