GandALF 2010
Minori, (Amalfi coast),
Italy - 17-18 June 2010
Italy - 17-18 June 2010
First International Symposium on
Games, Automata, Logics and Formal Verification
For any questions regarding GandALF 2010, please contact the conference organization at gandalf@dia.unisa.it.