Merkliste 
 1 Ergebnisse 
 
1

Path Complexity Analysis for Interprocedural Code:

, In: Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings,