3rd IEEE International Symposium on Theoretical Aspects of Software Engineering July 29 - 31, 2009, Tianjin, China
Kim G. Larsen (Aalborg University, Denmark)
Zhong Shao (Yale University, USA)
Jin-Song Dong (National University of Singapore)
Contact: ieee.tase2009 AT durham.ac.uk