3rd IEEE International Symposium on Theoretical Aspects of Software Engineering July 29 - 31, 2009, Tianjin, China
Contact: ieee.tase2009 AT durham.ac.uk