Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Motoharu Sonogashira
Bhupendra Singh
Paulo Ricardo Possa
Francisco Ferreira de Mendonca
David J. Westover
Yu-Wei Chang
Andson Balieiro
Sebastian Magda
Tzu-Chien Hsu
Anton Byshevsky
Home
/
Author
/
ANH T. DO
Author Info
Open Visualization
Name
Papers
Collaborators
ANH T. DO
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