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