Event ended

QONFEST 2020 - Verifying Automatic Smart Systems


Follow this organizer to stay informed on future events

By Vienna Center for Logic and Algorithms at TU Wien