GandALF 2011
Minori, (Amalfi coast),
Italy - 15-17 June 2011
Italy - 15-17 June 2011
Second International Symposium on
Games, Automata, Logics and Formal Verification
| Thomas Colcombet | CNRS Paris, France |
| Erich Graedel | RWTH Aachen University, Germany |
| Moshe Vardi | Rice University, Houston, USA |