Ringvorlesung: Expressing and Verifying Probabilistic Hyperproperties

Donnerstag, 18.04.2019, 16.30 Uhr

Ort : RWTH Aachen University, Informatikzentrum - Ahornstr. 55, Erweiterungsgebäude E2, B-IT, Raum 5053.2

 

Vortragende: Erika Ábrahám