Login / Signup

Efficient deductive methods for program analysis.

Harald Ganzinger
Published in: POPL (2001)
Keyphrases