Proceedings 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

• Record Nr.: UNINA9910376313003321
• Autore: Chin Wei-Ngan
• Pubbl/distr/stampa: [Place of publication not identified], : ACM, 2012
• ISBN: 1-4503-1272-1
• Descrizione fisica: 1 online resource (53 pages)
• Collana: ACM Other conferences
• Soggetti: Engineering & Applied Sciences; Computer Science
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Bibliographic Level Mode of Issuance: Monograph