Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Claudia Calabrese
Ian Andrew Grout
Shiyang Xuan
Hao Mao
Peter Malec
Giovanni Venturelli
Kevin Hammond
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Paper
/
An Approach for Formal Verification of Updated Java Bytecode Programs.
Paper Info
Open Visualization
Title
An Approach for Formal Verification of Updated Java Bytecode Programs.
Year
Venue
DocType
2015
VECoS
Conference
Citations
PageRank
References
1
0.35
15
Authors
3
Authors (3 rows)
Cited by (1 rows)
References (15 rows)
Name
Order
Citations
PageRank
Razika Lounas
1
4
1.78
Mohamed Mezghiche
2
25
11.68
Jean-Louis Lanet
3
381
43.44
1