Preliminary Design of BML: A Behavioral Interface Specification Language for Java Bytecode.

Lilian Burdy, Marieke Huisman, Mariela Pavlova

Browse the full FASE paper archive.