The following publications are possibly variants of this publication:
- Formal Techniques for Java-Like ProgramsJohn Boyland, Dave Clarke, Gary T. Leavens, Francesco Logozzo, Arnd Poetzsch-Heffter. ECOOPW 2008: 99-107 [doi]
- Formal Techniques for Java-Like ProgramsSusan Eisenbach, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter, Erik Poll. ECOOPW 2004: 62-71 [doi]
- Formal Techniques for Java-Like ProgramsDavide Ancona, Sophia Drossopoulou, Atsushi Igarashi, Gary T. Leavens, Arnd Poetzsch-Heffter, Elena Zucca. ECOOPW 2006: 53-58 [doi]
- Formal Techniques for Java-Like ProgramsElvira Albert, Anindya Banerjee, Sophia Drossopoulou, Marieke Huisman, Atsushi Igarashi, Gary T. Leavens, Peter Müller, Tobias Wrigstad. ECOOPW 2009: 70-76 [doi]
- Formal Techniques for Java-Like Programs (FTfJP)Alessandro Coglio, Marieke Huisman, Joseph Kiniry, Peter Müller, Erik Poll. ECOOPW 2005: 76-83 [doi]
- Special Section on Formal Techniques for Java-like ProgramsFrank Piessens, Bart Jacobs, Gary T. Leavens. jot, 10, 2011. [doi]
- Formal Techniques for Java ProgramsSophia Drossopoulou, Susan Eisenbach, Bart Jacobs 0002, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter. ECOOPW 2000: 41-54 [doi]
- Formal Techniques for Java ProgramsGary T. Leavens, Sophia Drossopoulou, Susan Eisenbach, Arnd Poetzsch-Heffter, Erik Poll. ECOOPW 2002: 30-40 [doi]
- Formal Techniques for Java ProgramsBart Jacobs 0002, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter. ECOOPW 1999: 97-115 [doi]
- Special issue: formal techniques for Java programsSusan Eisenbach, Gary T. Leavens. concurrency, 13(13):1121-1123, 2001.