LEADER 01872oam  2200481zu 450 
001 9910376313003321
005 20210807004807.0
010   $a1-4503-1272-1
035   $a(CKB)3460000000103214
035   $a(SSID)ssj0001139198
035   $a(PQKBManifestationID)11758195
035   $a(PQKBTitleCode)TC0001139198
035   $a(PQKBWorkID)11184131
035   $a(PQKB)10816216
035   $a(WaSeSS)IndRDA00012724
035   $a(Association for Computing Machinery)10.1145/2318202
035   $a(EXLCZ)993460000000103214
100   $a20160829d2012      uy 
101 0 $aeng
135   $aur|||||||||||
181   $ctxt
182   $cc
183   $acr
200 00$aProceedings for FTfJP 2012 : the 14th Workshop on Formal Techniques for Java-like Programs : co-located with ECOOP 2012 and PLDI 2012 : papers presented at the workshop : Beijing, China, June 12, 2012
210 31$a[Place of publication not identified]$cACM$d2012
215   $a1 online resource (53 pages)
225 1 $aACM Other conferences
300   $aBibliographic Level Mode of Issuance: Monograph
410  0$aACM Other conferences
517 1 $aProceedings of the 14th Workshop on Formal Techniques for Java-like Programs
606   $aEngineering & Applied Sciences$2HILCC
606   $aComputer Science$2HILCC
615  7$aEngineering & Applied Sciences
615  7$aComputer Science
700   $aChin$b Wei-Ngan$0976690
702   $aChin$b Wei-Ngan
702   $aHobor$b Aquinas
712 02$aAssociation for Computing Machinery-Digital Library.
801  0$bPQKB
906   $aBOOK
912   $a9910376313003321
996   $aProceedings for FTfJP 2012 : the 14th Workshop on Formal Techniques for Java-like Programs : co-located with ECOOP 2012 and PLDI 2012 : papers presented at the workshop : Beijing, China, June 12, 2012$92224909
997   $aUNINA