02365oam 2200553z- 450 991061913110332120160814153845.00-7695-4751-6(CKB)3360000000370758(EXLCZ)99336000000037075820121018c2012uuuu -u- -engIEEE Sixth International Symposium on Theoretical Aspects of Software Engineering proceedings, Beijing, China, 4-6 July 2012 /edited by Tiziana Margaria, Zongyan Qiu and Hongli Yang ; sponsored by IEEE Computer Society, IFIP [and] Beijing University of TechnologyBeijing, Chinax, 284 p. ill. ;28 cmOn cover and spine: 2012 Sixth International Conference on Theoretical Aspects of Software Engineering."IEEE Computer Soicety Order Number P4751" -- t.p. verso.Includes bibliographical references and author index.Sixth International Symposium on Theoretical Aspects of Software EngineeringTheoretical aspects of software engineering2012 IEEE Sixth International Symposium on Theoretical Aspects of Software EngineeringTASE 20122012 Sixth International Conference on Theoretical Aspects of Software EngineeringSoftware engineeringCongressesComputer softwareDevelopmentCongressesComputer softwareDevelopmentfast(OCoLC)fst00872537Software engineeringfast(OCoLC)fst01124185Conference proceedings.fastSoftware engineeringComputer softwareDevelopmentComputer softwareDevelopment.Software engineering.005.1Margaria-Steffen Tiziana1964-845731Qiu Zongyan1242273Yang Hongliprogram co-chair.1242274IEEE Computer Society.International Federation for Information Processing.Beijing gong ye da xue.LHLLHLOCLCOOCLCFOCLCODLCPROCEEDING9910619131103321IEEE Sixth International Symposium on Theoretical Aspects of Software Engineering2881664UNINA