LEADER 01834oam  2200481zu 450 
001 9910376134103321
005 20210807004721.0
035   $a(CKB)3460000000102993
035   $a(SSID)ssj0001125550
035   $a(PQKBManifestationID)11643034
035   $a(PQKBTitleCode)TC0001125550
035   $a(PQKBWorkID)11129615
035   $a(PQKB)11169974
035   $a(WaSeSS)IndRDA00012098
035   $a(Association for Computing Machinery)10.1145/2076674
035   $a(EXLCZ)993460000000102993
100   $a20160829d2011      uy 
101 0 $aeng
135   $aur|||||||||||
181   $ctxt
182   $cc
183   $acr
200 10$a13th Workshop on Formal Techniques for Java-like Programs (FTfJP 2011) : ECOOP 2011 workshop proceedings : Lancaster, UK, July 26, 2011
210 31$a[Place of publication not identified]$cACM$d2011
215   $a1 online resource (85 pages)
225 1 $aACM Other conferences
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a1-4503-0893-7 
410  0$aACM Other conferences
517 1 $aProceedings of the 13th Workshop on Formal Techniques for Java-Like Programs
517 1 $aECOOP '11 European Conference on Object-Oriented Programming, Lancaster, United Kingdom-July 25-29, 2011
606   $aEngineering & Applied Sciences$2HILCC
606   $aComputer Science$2HILCC
615  7$aEngineering & Applied Sciences
615  7$aComputer Science
700   $aFreund$b Stephen$0868280
702   $aFreund$b Stephen
712 02$aAssociation for Computing Machinery-Digital Library.
801  0$bPQKB
906   $aBOOK
912   $a9910376134103321
996   $a13th Workshop on Formal Techniques for Java-like Programs (FTfJP 2011) : ECOOP 2011 workshop proceedings : Lancaster, UK, July 26, 2011$91938279
997   $aUNINA