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]
No reviews for this publication, yet.