DMCA

Hoare Logics in Isabelle/HOL (2002)

by Tobias Nipkow
Venue:PROOF AND SYSTEM-RELIABILITY
Citations:22 - 1 self