Ahmed Bouajjani, Michael Emmi, Constantin Enea, Burcu Kulahcioglu Ozkan, Serdar Tasiran
Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency
ESOP, 2017.
@inproceedings{ESOP-2017-BouajjaniEEOT,
author = "Ahmed Bouajjani and Michael Emmi and Constantin Enea and Burcu Kulahcioglu Ozkan and Serdar Tasiran",
booktitle = "{Proceedings of the 24th European Symposium on Programming}",
doi = "10.1007/978-3-662-54434-1_7",
isbn = "['978-3-662-54433-4', '978-3-662-54434-1']",
pages = "170--200",
publisher = "{Springer}",
title = "{Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency}",
year = 2017,
}