Generating Specifications for Recursive Methods by Abstracting Program States.

Nathan Wasser

Browse the full SETTA paper archive.