Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
S. Dutta
Jianjun Hao
Motoharu Sonogashira
Bhupendra Singh
Paulo Ricardo Possa
surbhi bhandari
David J. Westover
Yu-Wei Chang
Sebastian Magda
Tzu-Chien Hsu
Home
/
Author
/
VU H. NGUYEN
Author Info
Open Visualization
Name
Papers
Collaborators
VU H. NGUYEN
1
13
Citations
PageRank
Referers
3
0.44
8
Referees
References
0
0
Publications (1 rows)
Collaborators (13 rows)
Referers (8 rows)
Referees (0 rows)
Title
Citations
PageRank
Year
MAFSE: A Model-Based Framework for Software Verification
3
0.44
2010
1