A Mechanized Hoare Logic of State Transitions (1993)

by Mike Gordon
Citations:6 - 0 self