Third International Symposium on Theoretical Aspects of Software Engineering : Proceedings, Tianjin, China, 29-31 July 2009 by Wei-Ngan Chin | Menrva Books | MenrvaBooks