Author Info
Name
Papers
Collaborators
NAM T. DOAN
1
13
Citations 
PageRank 
Referers 
3
0.44
8
Referees 
References 
0
0
Title
Citations
PageRank
Year
MAFSE: A Model-Based Framework for Software Verification30.442010