Introducing Formal Methods via Program Derivation.

Dipak L. Chaudhari, Om P. Damani

Browse the full ITiCSE paper archive.