Joogie: Infeasible Code Detection for Java.

Stephan Arlt, Martin Schf

Browse the full CAV paper archive.