Symbolic Computation and Automated Reasoning for Program Analysis.

Laura Kovcs

Browse the full IFM paper archive.