Merkliste 
 1 Ergebnisse 
 
1

An MDE Approach for Modular Program Analyses:

, In: Companion Proceedings of the 1st International Conference on the Art, Science, and Engineering of Programming,