TACAS 2009 Has PC member
Previous Results 1– 20 Next
- Aarti Gupta +
- Ahmed Bouajjani +
- Alessandro Cimatti +
- Andreas Podelski +
- Anna Philippou +
- Bernhard Steffen +
- C.R. Ramakrishnan +
- Carsten Weise +
- Ed Brinksma +
- Frits Vaandrager +
- Ken McMillan +
- Kim Larsen +
- Lenore Zuck +
- Marco Bernardo +
- Marta Kwiatkowska +
- Michael Huth +
- Natasha Sharygina +
- Nicolas Halbwachs +
- Oleg Sokolsky +
- Orna Grumberg +