Title
Collaboration-based verification of Object-Oriented models in HOL
Year
Venue
Field
2004
VVEIS
HOL,Programming language,Object-oriented programming,Computer science
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
1
3
Name
Order
Citations
PageRank
Kenro Yatake1234.59
Toshiaki Aoki25716.68
Takuya Katayama345598.24