Lilian Burdy, Marieke Huisman, Mariela Pavlova. Preliminary Design of BML: A Behavioral Interface Specification Language for Java Bytecode. In Matthew B. Dwyer, Antónia Lopes, editors, Fundamental Approaches to Software Engineering, 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings. Volume 4422 of Lecture Notes in Computer Science, pages 215-229, Springer, 2007. [doi]
Abstract is missing.