Program verification (tutorial session): techniques and uses.

Henry MacKay Walker Program verification (tutorial session): techniques and uses. 254 1990 conf/sigcse/1990 SIGCSE http://doi.acm.org/10.1145/323410.323414 db/conf/sigcse/sigcse1990.html#Walker90