I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Fast and precise symbolic analysis of concurrency bugs in d..:

, In: Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering,
Deligiannis, Pantazis ; Donaldson, Alastair F. ; Rakamarić, Zvonimir - p. 166-177 , 2015
Link: https://dl.acm.org/doi/10.1109/ASE.2015.30