Xiaoliang Wang, Adrian Rutle, Yngve Lamo. Towards User-Friendly and Efficient Analysis with Alloy. In Michalis Famelis, Daniel Ratiu, Martina Seidl, Gehan M. K. Selim, editors, Proceedings of the 12th Workshop on Model-Driven Engineering, Verification and Validation co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, MoDeVVa@MoDELS 2015, Ottawa, Canada, September 29, 2015. Volume 1514 of CEUR Workshop Proceedings, pages 28-37, CEUR-WS.org, 2015. [doi]
@inproceedings{WangRL15,
title = {Towards User-Friendly and Efficient Analysis with Alloy},
author = {Xiaoliang Wang and Adrian Rutle and Yngve Lamo},
year = {2015},
url = {http://ceur-ws.org/Vol-1514/paper4.pdf},
researchr = {https://researchr.org/publication/WangRL15},
cites = {0},
citedby = {0},
pages = {28-37},
booktitle = {Proceedings of the 12th Workshop on Model-Driven Engineering, Verification and Validation co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, MoDeVVa@MoDELS 2015, Ottawa, Canada, September 29, 2015},
editor = {Michalis Famelis and Daniel Ratiu and Martina Seidl and Gehan M. K. Selim},
volume = {1514},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}