Early Experiences with Euclid.

David B. Wortman, James R. Cordy

Browse the full ICSE paper archive.