3rd IEEE International Symposium on Theoretical Aspects of Software Engineering
July 29 - 31, 2009, Tianjin, China

Invited Speakers

Invited Keynote:


Kim G. Larsen (Aalborg University, Denmark)


Zhong Shao (Yale University, USA)

     

Invited Tutorial:


Jin-Song Dong (National University of Singapore)