Yang, Jiayi, Wang, Wenxi, Marinov, Darko, and Khurshid, Sarfraz. AlloyMC: Alloy meets model counting. Retrieved from https://par.nsf.gov/biblio/10205636. 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Demo Papers (ESEC/FSE Demo 2020) . Web. doi:10.1145/3368089.3417938.

Yang, Jiayi, Wang, Wenxi, Marinov, Darko, & Khurshid, Sarfraz. AlloyMC: Alloy meets model counting. 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Demo Papers (ESEC/FSE Demo 2020), (). Retrieved from https://par.nsf.gov/biblio/10205636. https://doi.org/10.1145/3368089.3417938

Yang, Jiayi, Wang, Wenxi, Marinov, Darko, and Khurshid, Sarfraz. "AlloyMC: Alloy meets model counting". 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Demo Papers (ESEC/FSE Demo 2020) (). Country unknown/Code not available. https://doi.org/10.1145/3368089.3417938. https://par.nsf.gov/biblio/10205636.

@article{osti_10205636,
place = {Country unknown/Code not available}, title = {AlloyMC: Alloy meets model counting}, url = {https://par.nsf.gov/biblio/10205636}, DOI = {10.1145/3368089.3417938}, abstractNote = {}, journal = {28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Demo Papers (ESEC/FSE Demo 2020)}, author = {Yang, Jiayi and Wang, Wenxi and Marinov, Darko and Khurshid, Sarfraz}, editor = {null} }