Author Info
Name
Affiliation
Papers
THOMAS JENSEN
IRISA, Rennes, France
1
Collaborators
Citations 
PageRank 
1
27
1.10
Referers 
Referees 
References 
34
39
28
Title
Citations
PageRank
Year
Class analyses as abstract interpretations of trace semantics271.102003