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.

AlloyMC: Alloy meets model counting

Jiayi Yang, Wenxi Wang, Darko Marinov, Sarfraz Khurshid. AlloyMC: Alloy meets model counting. In Prem Devanbu, Myra B. Cohen, Thomas Zimmermann 0001, editors, ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Virtual Event, USA, November 8-13, 2020. pages 1541-1545, ACM, 2020. [doi]

Authors

Jiayi Yang

This author has not been identified. Look up 'Jiayi Yang' in Google

Wenxi Wang

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

Darko Marinov

This author has not been identified. Look up 'Darko Marinov' in Google

Sarfraz Khurshid

This author has not been identified. Look up 'Sarfraz Khurshid' in Google
runs on