Merkliste 
 1 Ergebnisse 
 
1

A logic for locally complete abstract interpretations:

, In: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science,