CLARVA: Model-based Residual Verification of Java Programs.

Shaun Azzopardi, Christian Colombo, Gordon J. Pace

Browse the full MODELSWARD paper archive.