Combining Logic and Algebraic Techniques for Program Verification in Theorema.

Laura Kovcs, Nikolaj Popov, Tudor Jebelean

Browse the full ISoLA paper archive.