01802oam 2200481zu 450 991037613410332120210807004721.0(CKB)3460000000102993(SSID)ssj0001125550(PQKBManifestationID)11643034(PQKBTitleCode)TC0001125550(PQKBWorkID)11129615(PQKB)11169974(WaSeSS)IndRDA00012098(Association for Computing Machinery)10.1145/2076674(EXLCZ)99346000000010299320160829d2011 uy engur|||||||||||txtccr13th Workshop on Formal Techniques for Java-like Programs (FTfJP 2011) : ECOOP 2011 workshop proceedings : Lancaster, UK, July 26, 2011[Place of publication not identified]ACM20111 online resource (85 pages)ACM Other conferencesBibliographic Level Mode of Issuance: Monograph1-4503-0893-7 ACM Other conferencesProceedings of the 13th Workshop on Formal Techniques for Java-Like ProgramsECOOP '11 European Conference on Object-Oriented Programming, Lancaster, United Kingdom-July 25-29, 2011Engineering & Applied SciencesHILCCComputer ScienceHILCCEngineering & Applied SciencesComputer ScienceFreund Stephen868280Freund StephenACM Digital Library.PQKBBOOK991037613410332113th Workshop on Formal Techniques for Java-like Programs (FTfJP 2011) : ECOOP 2011 workshop proceedings : Lancaster, UK, July 26, 20111938279UNINA