El Ghazi, Aboubakr Achraf
[Other];
Ulbrich, Mattias
[Other];
Gladisch, Christoph David
[Other];
Tyszberowicz, Shmuel
[Other];
Taghdiri, Mana
[Other]
;
Karlsruher Institut für Technologie Fakultät für Informatik
On Verifying Relational Specifications of Java Programs with JKelloy