LEADER 01566oam  2200457zu 450 
001 9910619140103321
005 20210807004155.0
010   $a0-7695-4148-8
035   $a(CKB)3360000000370457
035   $a(SSID)ssj0000452557
035   $a(PQKBManifestationID)12175903
035   $a(PQKBTitleCode)TC0000452557
035   $a(PQKBWorkID)10468518
035   $a(PQKB)11130777
035   $a(EXLCZ)993360000000370457
100   $a20160829d2010      uy 
101 0 $aeng
181   $ctxt
182   $cc
183   $acr
200 10$a2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering
210 31$a[Place of publication not identified]$cI E E E$d2010
300   $aBibliographic Level Mode of Issuance: Monograph
517 1 $aTheoretical aspects of software engineering
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
702   $aLiu$b Jing
712 02$aIEEE Computer Society
712 02$aGuo li Taiwan da xue
712 12$aInternational Symposium on Theoretical Aspects of Software Engineering
801  0$bPQKB
906   $aPROCEEDING
912   $a9910619140103321
996   $a2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering$92367127
997   $aUNINA