External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Towards User-Friendly and Efficient Analysis with Alloy

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]

Authors

Xiaoliang Wang

This author has not been identified. Look up 'Xiaoliang Wang' in Google

Adrian Rutle

This author has not been identified. Look up 'Adrian Rutle' in Google

Yngve Lamo

This author has not been identified. Look up 'Yngve Lamo' in Google
runs on