Shoham Ben-David, Marsha Chechik, Arie Gurfinkel, Sebastián Uchitel. CSSL: a logic for specifying conditional scenarios. In Tibor Gyimóthy, Andreas Zeller, editors, SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13rd European Software Engineering Conference (ESEC-13), Szeged, Hungary, September 5-9, 2011. pages 37-47, ACM, 2011. [doi]
@inproceedings{Ben-DavidCGU11,
title = {CSSL: a logic for specifying conditional scenarios},
author = {Shoham Ben-David and Marsha Chechik and Arie Gurfinkel and Sebastián Uchitel},
year = {2011},
doi = {10.1145/2025113.2025123},
url = {http://doi.acm.org/10.1145/2025113.2025123},
researchr = {https://researchr.org/publication/Ben-DavidCGU11},
cites = {0},
citedby = {0},
pages = {37-47},
booktitle = {SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13rd European Software Engineering Conference (ESEC-13), Szeged, Hungary, September 5-9, 2011},
editor = {Tibor Gyimóthy and Andreas Zeller},
publisher = {ACM},
isbn = {978-1-4503-0443-6},
}