A Purely Logical Approach to Imperative Program Verification (2010)

by Tudor Jebelean
Citations:3 - 3 self