01769oam 2200493zu 450 99621638150331620210807003308.01-5090-6854-6(CKB)1000000000812274(SSID)ssj0000526965(PQKBManifestationID)12230501(PQKBTitleCode)TC0000526965(PQKBWorkID)10522018(PQKB)11184742(EXLCZ)99100000000081227420160829d2009 uy engtxtccrThird International Symposium on Theoretical Aspects of Software Engineering : proceedings, Tianjin, China, 29-31 July 2009[Place of publication not identified]IEEE Computer Society2009Bibliographic Level Mode of Issuance: Monograph0-7695-3757-X Software engineeringDevelopmentCongressesComputer softwareCongressesEngineering & Applied SciencesHILCCComputer ScienceHILCCSoftware engineeringDevelopmentComputer softwareEngineering & Applied SciencesComputer Science005.1Chin Wei-NganQin ShengchaoInternational Federation for Information ProcessingTianjin shi fan da xueIEEE Computer SocietyInternational Symposium on Theoretical Aspects of Software EngineeringPQKBPROCEEDING996216381503316Third International Symposium on Theoretical Aspects of Software Engineering : proceedings, Tianjin, China, 29-31 July 20092304464UNISA