A formalism for specification of Java API interfaces.

Davide Ancona, Francesco Dagnino, Luca Franceschini

Browse the full ISSTA paper archive.