A Calculus for Imperative Programs: Formalization and Implementation

by Tudor Jebelean
Citations:4 - 3 self