Proving Partial Correctness and Termination of Mutually Recursive Programs.

Nikolaj Popov, Tudor Jebelean

Browse the full SYNASC paper archive.