| - Formal Techniques for Java-like Programs. S. Eisenbach, G. T. Leavens, P. Müller, A. Poetzsch-Heffter, E. Poll, In Object-Oriented Technology. ECOOP'03 Workshop Reader (F. Buschmann, A. P. Buchmann, M. Cilia, eds.), Springer-Verlag, volume 3013, 2004. [pdf]
[bib]
|
