Software engineering and automated deduction.

Willem Visser, Nikolaj S. Bjrner, Natarajan Shankar

Browse the full ICSE paper archive.