Formal Techniques for Java Programs - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Bart Jacobs 0002, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter. Formal Techniques for Java Programs. In Ana M. D. Moreira, Serge Demeyer, editors, Object-Oriented Technology, ECOOP 99 Workshop Reader, ECOOP 99 Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings. Volume 1743 of Lecture Notes in Computer Science, pages 97-115, Springer, 1999. [doi]

The following publications are possibly variants of this publication:

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-like ProgramsSophia Drossopoulou, Susan Eisenbach, Gary T. Leavens, Arnd Poetzsch-Heffter, Erik Poll. ECOOPW 2002: 203-210 [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 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 Programs (FTfJP)Alessandro Coglio, Marieke Huisman, Joseph Kiniry, Peter Müller, Erik Poll. ECOOPW 2005: 76-83 [doi]

Special issue: formal techniques for Java programsSusan Eisenbach, Gary T. Leavens. concurrency, 13(13):1121-1123, 2001.

Special Section on Formal Techniques for Java-like ProgramsFrank Piessens, Bart Jacobs, Gary T. Leavens. jot, 10, 2011. [doi]

runs on WebDSL