Wang, Wenxi, Hu, Yang, McMillan, Kenneth L, and Khurshid, Sarfraz. SymMC: Approximate model enumeration and counting using symmetry information for Alloy specifications. Retrieved from https://par.nsf.gov/biblio/10559031. Web. doi:10.1145/3540250.3549161.

Wang, Wenxi, Hu, Yang, McMillan, Kenneth L, & Khurshid, Sarfraz. SymMC: Approximate model enumeration and counting using symmetry information for Alloy specifications. Retrieved from https://par.nsf.gov/biblio/10559031. https://doi.org/10.1145/3540250.3549161

Wang, Wenxi, Hu, Yang, McMillan, Kenneth L, and Khurshid, Sarfraz. "SymMC: Approximate model enumeration and counting using symmetry information for Alloy specifications". Country unknown/Code not available: ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE). https://doi.org/10.1145/3540250.3549161. https://par.nsf.gov/biblio/10559031.

@article{osti_10559031,
place = {Country unknown/Code not available}, title = {SymMC: Approximate model enumeration and counting using symmetry information for Alloy specifications}, url = {https://par.nsf.gov/biblio/10559031}, DOI = {10.1145/3540250.3549161}, abstractNote = {}, journal = {}, publisher = {ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)}, author = {Wang, Wenxi and Hu, Yang and McMillan, Kenneth L and Khurshid, Sarfraz}, }