Merkliste 
 1 Ergebnisse 
 
1

MAF: A Framework for Modular Static Analysis of Higher-Orde..:

, In: 2020 IEEE 20th International Working Conference on Source Code Analysis and Manipulation (SCAM),