01577oam 2200457zu 450 99620842020331620210807004155.00-7695-4148-8(CKB)3360000000370457(SSID)ssj0000452557(PQKBManifestationID)12175903(PQKBTitleCode)TC0000452557(PQKBWorkID)10468518(PQKB)11130777(EXLCZ)99336000000037045720160829d2010 uy engtxtccr2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering[Place of publication not identified]I E E E2010Bibliographic Level Mode of Issuance: MonographTheoretical aspects of software engineeringSoftware engineeringDevelopmentCongressesComputer softwareCongressesEngineering & Applied SciencesHILCCComputer ScienceHILCCSoftware engineeringDevelopmentComputer softwareEngineering & Applied SciencesComputer ScienceLiu JingIEEE Computer SocietyGuo li Taiwan da xueInternational Symposium on Theoretical Aspects of Software EngineeringPQKBPROCEEDING9962084202033162010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering2367127UNISA