Browse by Author

Authors (A-Z) Leavens, Gary T

2 Results for Leavens, Gary T

Subscribe to RSS feed for this result set

1. Formal techniques for Java-like programs

Eisenbach, Susan, Leavens, Gary T., Müller, Peter, Poetzsch-Heffter, Arnd and Poll, Erik (2003)


Reports

2. Modular invariants for layered object structures

Müller, Peter, Poetzsch-Heffter, Arnd and Leavens, Gary T. (2005)


Reports