8th International Conference on Tests & Proofs
July 24 - July 25, 2014, York, UK
Organization
PC-Chairs
Martina SeidlNikolai Tillmann
Program Committee
- Dirk Beyer
- Achim D. Brucker
- Robert Clarisò
- Marco Comini
- Catherine Dubois
- Juhan Ernits
- Gordon Fraser
- Angelo Gargantini
- Christoph Gladisch
- Martin Gogolla
- Arnaud Gotlieb
- Wolfgang Grieskamp
- Reiner Hähnle
- Bart Jacobs
- Thiérry Jeron
- Jacques Julliand
- Gregory Kapfhammer
- Nikolai Kosmatov
- Victor Kuliamin
- Karl Meinke
- Michal Moskal
- Alexandre Petrenko
- Holger Schlingloff
- T.H. Tse
- Margus Veanes
- Luca Viganò
- Manuel Wimmer
- Burkhart Wolff
- Fatiha Zaidi