A Calculus for Imperative Programs: Formalization and Implementation (2009)

by M Eras¸cu, T Jebelean
Venue:Proceedings of the 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing