William Heaven, Alessandra Russo. Enhancing the Alloy Analyzer with Patterns of Analysis. In Alexander Serebrenik, Susana Muñoz-Hernández, editors, Proceedings of the 15th International Workshop on Logic Programming Environments, Sitges (Barcelona), October 5, 2005. pages 14-30, 2005. [doi]
Abstract is missing.