Inproceedings,
CSSL: a logic for specifying conditional scenarios.
S. Ben-David, M. Chechik, A. Gurfinkel, and S. Uchitel.SIGSOFT FSE, page 37-47. ACM, (2011)
Meta data
- BibTeX key
- conf/sigsoft/Ben-DavidCGU11
- entry type
- inproceedings
- booktitle
- SIGSOFT FSE
- year
- 2011
- pages
- 37-47
- publisher
- ACM
- crossref
- conf/sigsoft/2011
- ee
- https://doi.org/10.1145/2025113.2025123
- isbn
- 978-1-4503-0443-6
- url
- http://dblp.uni-trier.de/db/conf/sigsoft/fse2011.html#Ben-DavidCGU11
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/sigsoft/Ben-DavidCGU11
%A Ben-David, Shoham
%A Chechik, Marsha
%A Gurfinkel, Arie
%A Uchitel, Sebastián
%B SIGSOFT FSE
%D 2011
%E Gyimóthy, Tibor
%E Zeller, Andreas
%I ACM
%K
%P 37-47
%T CSSL: a logic for specifying conditional scenarios.
%U http://dblp.uni-trier.de/db/conf/sigsoft/fse2011.html#Ben-DavidCGU11
%@ 978-1-4503-0443-6
@inproceedings{conf/sigsoft/Ben-DavidCGU11,
added-at = {2023-12-13T05:46:36.000+0100},
author = {Ben-David, Shoham and Chechik, Marsha and Gurfinkel, Arie and Uchitel, Sebastián},
biburl = {https://www.bibsonomy.org/bibtex/28be1dbd64af62eaffeaf7b7deda86367/admin},
booktitle = {SIGSOFT FSE},
crossref = {conf/sigsoft/2011},
editor = {Gyimóthy, Tibor and Zeller, Andreas},
ee = {https://doi.org/10.1145/2025113.2025123},
interhash = {a66ed512af823f2367a329b07118a107},
intrahash = {8be1dbd64af62eaffeaf7b7deda86367},
isbn = {978-1-4503-0443-6},
keywords = {},
pages = {37-47},
publisher = {ACM},
timestamp = {2023-12-13T05:46:36.000+0100},
title = {CSSL: a logic for specifying conditional scenarios.},
url = {http://dblp.uni-trier.de/db/conf/sigsoft/fse2011.html#Ben-DavidCGU11},
year = 2011
}