Java Typestate Checker.

Joo Mota, Marco Giunti, Antnio Ravara

Browse the full Coordination paper archive.