Mechanizing program verification in HOL (1991)

by S Agerholm
Venue:Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications