Robby, Patrice Chalin. Preliminary design of a unified JML representation and software infrastructure. In Anindya Banerjee, editor, Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs, FTfJP 2009, Genova, Italy, July 6, 2009. ACM, 2009. [doi]
Abstract is missing.