Developing Honest Java Programs with Diogenes.

Nicola Atzei, Massimo Bartoletti

Browse the full FORTE paper archive.