Combining Logic and Algebraic Techniques for Program Verification in Theorema (2006)

by L Kovacs, N Popov, T Jebelean
Venue:In Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2006), Paphos