Special session: "hands-on" tutorial: teaching software correctness with RESOLVE.

Murali Sitaraman, Bruce W. Weide

Browse the full SIGCSE paper archive.