01535oam 2200433zu 450 991037579740332120210807002107.0(CKB)3170000000003921(SSID)ssj0000809897(PQKBManifestationID)12365136(PQKBTitleCode)TC0000809897(PQKBWorkID)10802381(PQKB)11269248(Association for Computing Machinery)10.1145/1557898(EXLCZ)99317000000000392120160829d2009 uy engurnn|008mam|atxtccrProceedings of the 11th International Workshop on Formal Techniques for Java-Like Programs[Place of publication not identified]Association for Computing Machinery20091 online resource (64 p.;) ACM Other conferencesBibliographic Level Mode of Issuance: Monograph1-60558-540-8 ACM Other conferencesFTfJP '09Information TechnologyComputer Science (Hardware & Networks)Information TechnologyComputer Science (Hardware & Networks)Banerjee Anindya89333Banerjee AnindyaAssociation for Computing Machinery-Digital Library.PQKBBOOK9910375797403321Proceedings of the 11th International Workshop on Formal Techniques for Java-Like Programs2245551UNINA