%0 Conference Paper %1 conf/sigsoft/YangWMK20 %A Yang, Jiayi %A Wang, Wenxi %A Marinov, Darko %A Khurshid, Sarfraz %B ESEC/SIGSOFT FSE %D 2020 %E Devanbu, Prem %E Cohen, Myra B. %E Zimmermann, Thomas %I ACM %K dblp %P 1541-1545 %T AlloyMC: Alloy meets model counting. %U http://dblp.uni-trier.de/db/conf/sigsoft/fse2020.html#YangWMK20 %@ 978-1-4503-7043-1

@inproceedings{conf/sigsoft/YangWMK20, added-at = {2020-11-10T00:00:00.000+0100}, author = {Yang, Jiayi and Wang, Wenxi and Marinov, Darko and Khurshid, Sarfraz}, biburl = {https://www.bibsonomy.org/bibtex/28371c81f898fd27f3b65019894393f77/dblp}, booktitle = {ESEC/SIGSOFT FSE}, crossref = {conf/sigsoft/2020}, editor = {Devanbu, Prem and Cohen, Myra B. and Zimmermann, Thomas}, ee = {https://doi.org/10.1145/3368089.3417938}, interhash = {8f1771f2a3a75ef036e2d5d650bca3d4}, intrahash = {8371c81f898fd27f3b65019894393f77}, isbn = {978-1-4503-7043-1}, keywords = {dblp}, pages = {1541-1545}, publisher = {ACM}, timestamp = {2020-11-11T11:40:37.000+0100}, title = {AlloyMC: Alloy meets model counting.}, url = {http://dblp.uni-trier.de/db/conf/sigsoft/fse2020.html#YangWMK20}, year = 2020 }