Formalizing Hoare logic (1995)

by J E Caplan
Venue:Proceedings of SIPL '95', University of Illinois at Urbana-Champaign