2nd IEEE International Symposium on Theoretical Aspects of Software Engineering
June 17 - 19, 2008 Nanjing, China

Invited Speakers



Edmund M. Clarke

   ( Carnegie Mellon University )    

Joost-Pieter Katoen

   ( RWTH Aachen University )   

Wei Li

   ( Beihang University )