Joel Ouaknine

A Survey of Classical and Real-Time Verification; June 14th, 16:00