Dagstuhl Seminary SyMeT

Thierry Jeron, Margus Veanes, and Burkhart Wolff (chairs): Symbolic Methods in Testing. Dagstuhl Seminary, Jan. 2013. (DONE)

You are here Research Forthcoming Events Dagstuhl Seminary SyMeT