4th IEEE International Symposium on Theoretical Aspects of Software Engineering
August 24 - 27, 2010, Taipei, Taiwan, ROC