Mechanising Programming Logics in Higher Order Logic (1988)

by Michael J C Gordon
Venue:Proceedings of the 1988 Ban Conference on Hardware Veri