Hoare logics in Isabelle/HOL (2002)

by Tobias Nipkow
Venue:Proof and System-Reliability