LEADER 01535oam  2200433zu 450 
001 9910375797403321
005 20210807002107.0
035   $a(CKB)3170000000003921
035   $a(SSID)ssj0000809897
035   $a(PQKBManifestationID)12365136
035   $a(PQKBTitleCode)TC0000809897
035   $a(PQKBWorkID)10802381
035   $a(PQKB)11269248
035   $a(Association for Computing Machinery)10.1145/1557898
035   $a(EXLCZ)993170000000003921
100   $a20160829d2009      uy 
101 0 $aeng
135   $aurnn|008mam|a
181   $ctxt
182   $cc
183   $acr
200 00$aProceedings of the 11th International Workshop on Formal Techniques for Java-Like Programs
210 31$a[Place of publication not identified]$cAssociation for Computing Machinery$d2009
215   $a1 online resource (64 p.;) 
225 1 $aACM Other conferences
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a1-60558-540-8 
410  0$aACM Other conferences
517 3 $aFTfJP '09
606   $aInformation Technology$xComputer Science (Hardware & Networks)
615  4$aInformation Technology$xComputer Science (Hardware & Networks)
700   $aBanerjee$b Anindya$089333
702   $aBanerjee$b Anindya
712 02$aAssociation for Computing Machinery-Digital Library.
801  0$bPQKB
906   $aBOOK
912   $a9910375797403321
996   $aProceedings of the 11th International Workshop on Formal Techniques for Java-Like Programs$92245551
997   $aUNINA