Precise Analysis of Java Programs Using JOANA.

Dennis Giffhorn, Christian Hammer

Browse the full SCAM paper archive.