jMoped: A Java Bytecode Checker Based on Moped.

Dejvuth Suwimonteerabuth, Stefan Schwoon, Javier Esparza

Browse the full TACAS paper archive.