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

by L Kovacs, N Popov, T Jebelean
Venue:Proceedings ISOLA 2006, Paphos