Institut für Theoretische Informatik (ITI) – Anwendungsorientierte Formale Verifikation
Sorry, no publication found for key 'BeckertUlbrichEtAl2015'