A Mechanized Hoare Logic of State Transitions (1993)

by Mike Gordon
Citations:6 - 0 self

Document Versions

A Mechanized Hoare Logic of State Transitions –Mike Gordon — 1993
A Mechanized Hoare Logic of State Transitions –Mike Gordon — 1993