Anton Varonka

Fortschritt bei der automatischen Generierung von Schleifeninvarianten für zuverlässige Softwareüberprüfung.