6th International Symposium on Games, Automata, Logics and Formal Verification-GandALF 2015
- Kontinen, J. (Talare: Presentation)
Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium