01872oam 2200481zu 450 991037631300332120210807004807.01-4503-1272-1(CKB)3460000000103214(SSID)ssj0001139198(PQKBManifestationID)11758195(PQKBTitleCode)TC0001139198(PQKBWorkID)11184131(PQKB)10816216(WaSeSS)IndRDA00012724(Association for Computing Machinery)10.1145/2318202(EXLCZ)99346000000010321420160829d2012 uy engur|||||||||||txtccrProceedings 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[Place of publication not identified]ACM20121 online resource (53 pages)ACM Other conferencesBibliographic Level Mode of Issuance: MonographACM Other conferencesProceedings of the 14th Workshop on Formal Techniques for Java-like ProgramsEngineering & Applied SciencesHILCCComputer ScienceHILCCEngineering & Applied SciencesComputer ScienceChin Wei-Ngan976690Chin Wei-NganHobor AquinasAssociation for Computing Machinery-Digital Library.PQKBBOOK9910376313003321Proceedings 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, 20122224909UNINA