Merkliste 
 1 Ergebnisse 
 
1

Introduction to set constraint-based program analysis:

Aiken, Alexander
Science of Computer Programming.  35 (1999)  2-3 - p. 79-111 , 1999