1. Home
  2. Formal Verfication

Formal Verfication

VIII International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2017)

da 20 Set 2017 - 09:00 a 22 Set 2017 - 13:00

The Eighth International Symposium on Games, Automata,

Conferences & Workshops
Formal Verfication
Games
automata