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

by
Laura Kovács
,
Nikolaj Popov
,
Tudor Jebelean

Venue: | SECOND INTERNATIONAL SYMPOSIUM ON LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION |

Citations: | 8 - 8 self |