Author Info
Name
Papers
Collaborators
AN N. NGUYEN
2
13
Citations 
PageRank 
Referers 
4
0.80
12
Referees 
References 
35
9
Title
Citations
PageRank
Year
MAFSE: A Model-Based Framework for Software Verification30.442010
COMBINE: a tool on combined formal methods for bindingly verification10.352010