Merkliste 
 1 Ergebnisse 
 
1

Static executes-before analysis for event driven programs:

, In: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering,
Pai, Rekha ; Uppar, Abhishek ; Shenoy, Akshatha.. - p. 233-244 , 2022