Efficient deductive methods for program analysis.

Harald Ganzinger

Browse the full POPL paper archive.