Library
search
Press enter to search in title/abstract
in title/abstract
in authors
local_library
Repository
AB
Ahmed Bouajjani
1 records found
1
Authored
Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency
Conference paper (2017) -
Ahmed Bouajjani
,
Michael Emmi
,
Constantin Enea
,
Burcu Kulahcioglu Ozkan
,
Serdar Tasiran
