LEADER 01954nam 2200517zu 450 001 9910376382803321 005 20210807005103.0 010 $a1-4503-2965-9 035 $a(CKB)3780000000085068 035 $a(SSID)ssj0001341682 035 $a(PQKBManifestationID)11751788 035 $a(PQKBTitleCode)TC0001341682 035 $a(PQKBWorkID)11392766 035 $a(PQKB)11752785 035 $a(WaSeSS)IndRDA00027481 035 $a(Association for Computing Machinery)10.1145/2627508 035 $a(EXLCZ)993780000000085068 100 $a20160829d2014 uy 101 0 $aeng 135 $aur||||||||||| 181 $ctxt 182 $cc 183 $acr 200 00$a2014 3rd International Workshop on Evidential Assessment of Software Technologies : proceedings : May 26, 2014, Nanjing, China 210 31$a[Place of publication not identified]$cACM$d2014 215 $a1 online resource (62 pages) 225 1 $aACM Other conferences 300 $aBibliographic Level Mode of Issuance: Monograph 410 0$aACM Other conferences 517 1 $aEAST 2014 517 1 $aEvidential Assessment of Software Technologies 2014 517 1 $aProceedings of the 2014 3rd International Workshop on Evidential Assessment of Software Technologies 517 1 $aEAST '14 517 1 $a3rd International Workshop on Evidential Assessment of Software Technologies, Nanjing, China - May 26 - 26, 2014 606 $aEngineering & Applied Sciences$2HILCC 606 $aComputer Science$2HILCC 615 7$aEngineering & Applied Sciences 615 7$aComputer Science 700 $aZhang$b He$0971318 702 $aZhang$b He 712 02$aAssociation for Computing Machinery-Digital Library. 801 0$bPQKB 906 $aBOOK 912 $a9910376382803321 996 $a2014 3rd International Workshop on Evidential Assessment of Software Technologies : proceedings : May 26, 2014, Nanjing, China$92208008 997 $aUNINA