Juan P. Galeotti, Marcelo F. Frias. DynAlloy as a Formal Method for the Analysis of Java Programs. In Krzysztof Sacha, editor, Software Engineering Techniques: Design for Quality, SET 2006, October 17-20, 2006, Warsaw, Poland. Volume 227 of IFIP, pages 249-260, Springer, 2006. [doi]
Abstract is missing.