A Calculus for Imperative Programs: Formalization and Implementation
by
Tudor Jebelean
| Citations: | 4 - 3 self |







