LEADER 01782oam  2200505zu 450 
001 9910376001803321
005 20210807002030.0
035   $a(CKB)3170000000002937
035   $a(SSID)ssj0001171564
035   $a(PQKBManifestationID)11674967
035   $a(PQKBTitleCode)TC0001171564
035   $a(PQKBWorkID)11176623
035   $a(PQKB)11019779
035   $a(WaSeSS)IndRDA00011102
035   $a(Association for Computing Machinery)10.1145/1868044
035   $a(EXLCZ)993170000000002937
100   $a20160829d2010      uy 
101 0 $aeng
135   $aur|||||||||||
181   $ctxt
182   $cc
183   $acr
200 00$aMIIT 2010 : proceedings of the first International Workshop on Model Inference in Testing
210 31$a[Place of publication not identified]$cACM$d2010
215   $a1 online resource (25 pages)
225 1 $aACM Conferences
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a1-4503-0147-9 
410  0$aACM Conferences
517 1 $aModel Inference in Testing 2010
517 1 $aProceedings of the first International Workshop on Model Inference In Testing 2010
606   $aEngineering & Applied Sciences$2HILCC
606   $aComputer Science$2HILCC
615  7$aEngineering & Applied Sciences
615  7$aComputer Science
700   $aGroz$b Roland$0885411
702   $aLi$b Keqin
702   $aGroz$b Roland
712 02$aAssociation for Computing Machinery-Digital Library.
712 12$aInternational Symposium on Software Testing and Analysis$f(2010 :$eTrento, Italy)
801  0$bPQKB
906   $aBOOK
912   $a9910376001803321
996   $aMIIT 2010 : proceedings of the first International Workshop on Model Inference in Testing$91976887
997   $aUNINA