Author Info
Name
Papers
Collaborators
THANH-TOAN NGUYEN
2
26
Citations 
PageRank 
Referers 
0
0.68
0
Referees 
References 
0
0
Title
Citations
PageRank
Year
Automated Repair of Heap-Manipulating Programs Using Deductive Synthesis.00.342021
SL-COMP: Competition of Solvers for Separation Logic.00.342019