LEADER 01769oam 2200493zu 450 001 996216381503316 005 20210807003308.0 010 $a1-5090-6854-6 035 $a(CKB)1000000000812274 035 $a(SSID)ssj0000526965 035 $a(PQKBManifestationID)12230501 035 $a(PQKBTitleCode)TC0000526965 035 $a(PQKBWorkID)10522018 035 $a(PQKB)11184742 035 $a(EXLCZ)991000000000812274 100 $a20160829d2009 uy 101 0 $aeng 181 $ctxt 182 $cc 183 $acr 200 10$aThird International Symposium on Theoretical Aspects of Software Engineering : proceedings, Tianjin, China, 29-31 July 2009 210 31$a[Place of publication not identified]$cIEEE Computer Society$d2009 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a0-7695-3757-X 606 $aSoftware engineering$xDevelopment$vCongresses 606 $aComputer software$vCongresses 606 $aEngineering & Applied Sciences$2HILCC 606 $aComputer Science$2HILCC 615 0$aSoftware engineering$xDevelopment 615 0$aComputer software 615 7$aEngineering & Applied Sciences 615 7$aComputer Science 676 $a005.1 702 $aChin$b Wei-Ngan 702 $aQin$b Shengchao 712 02$aInternational Federation for Information Processing 712 02$aTianjin shi fan da xue 712 02$aIEEE Computer Society 712 12$aInternational Symposium on Theoretical Aspects of Software Engineering 801 0$bPQKB 906 $aPROCEEDING 912 $a996216381503316 996 $aThird International Symposium on Theoretical Aspects of Software Engineering : proceedings, Tianjin, China, 29-31 July 2009$92304464 997 $aUNISA