Author Info
Name
Affiliation
Papers
JOOYONG LEE
BRICS, University of Aarhus
1
Collaborators
Citations 
PageRank 
2
61
2.52
Referers 
Referees 
References 
139
33
16
Search Limit
100139
Title
Citations
PageRank
Year
Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems612.522006