%0 Conference Paper %1 conf/lpe/HeavenR05 %A Heaven, William %A Russo, Alessandra %B WLPE %D 2005 %E Serebrenik, Alexander %E Muñoz-Hernández, Susana %K dblp %P 14-30 %T Enhancing the Alloy Analyzer with Patterns of Analysis. %U http://dblp.uni-trier.de/db/conf/lpe/wlpe2005.html#HeavenR05

@inproceedings{conf/lpe/HeavenR05, added-at = {2021-02-05T00:00:00.000+0100}, author = {Heaven, William and Russo, Alessandra}, biburl = {https://www.bibsonomy.org/bibtex/2a5bd0eca8057c2e60b0ac7220dd096c0/dblp}, booktitle = {WLPE}, crossref = {conf/lpe/2005}, editor = {Serebrenik, Alexander and Muñoz-Hernández, Susana}, ee = {http://arxiv.org/abs/cs.pl/0508109}, interhash = {c79099c9d55ed22c6a7955c60b2a1331}, intrahash = {a5bd0eca8057c2e60b0ac7220dd096c0}, keywords = {dblp}, pages = {14-30}, timestamp = {2024-04-09T11:18:53.000+0200}, title = {Enhancing the Alloy Analyzer with Patterns of Analysis.}, url = {http://dblp.uni-trier.de/db/conf/lpe/wlpe2005.html#HeavenR05}, year = 2005 }