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]
@inproceedings{HeavenR05,
title = {Enhancing the Alloy Analyzer with Patterns of Analysis},
author = {William Heaven and Alessandra Russo},
year = {2005},
url = {http://arxiv.org/abs/cs.pl/0508109},
tags = {analysis},
researchr = {https://researchr.org/publication/HeavenR05},
cites = {0},
citedby = {0},
pages = {14-30},
booktitle = {Proceedings of the 15th International Workshop on Logic Programming Environments, Sitges (Barcelona), October 5, 2005},
editor = {Alexander Serebrenik and Susana Muñoz-Hernández},
}