Mar 29, 2018: Joost-Pieter Katoen: How to prove that a program almost surely terminate?

March 29, 2018How to prove that a program almost surely terminate?
Room: RA 3336Joost-Pieter Katoen
15:45-16:45