Automatic Verification of Recursive Procedures with One Integer Parameter.

Ahmed Bouajjani, Peter Habermehl, Richard Mayr

Browse the full MFCS paper archive.