Library
search
local_library
Repository
AB
Ahmed Bouajjani
View Pure Profile
Authored
1 records found
Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency
Conference paper -
Ahmed Bouajjani
,
Michael Emmi
,
Constantin Enea
,
Burcu Kulahcioglu Ozkan
,
Serdar Tasiran