01566oam 2200457zu 450 991061914010332120210807004155.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 EngineeringPQKBPROCEEDING99106191401033212010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering2367127UNINA