Fingerprint
Dive into the research topics of 'AlloyMC: Alloy meets model counting'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
AlloyMC: Alloy meets model counting
Jiayi Yang, Wenxi Wang, Darko Marinov, Sarfraz Khurshid
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution