Inproceedings,
AlloyMC: Alloy meets model counting.
J. Yang, W. Wang, D. Marinov, and S. Khurshid.ESEC/SIGSOFT FSE, page 1541-1545. ACM, (2020)
Meta data
- BibTeX key
- conf/sigsoft/YangWMK20
- entry type
- inproceedings
- booktitle
- ESEC/SIGSOFT FSE
- year
- 2020
- pages
- 1541-1545
- publisher
- ACM
- crossref
- conf/sigsoft/2020
- ee
- https://doi.org/10.1145/3368089.3417938
- isbn
- 978-1-4503-7043-1
- url
- http://dblp.uni-trier.de/db/conf/sigsoft/fse2020.html#YangWMK20
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%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
}