Paper Info
Title
A Unified Theory of Program Logics: An Approach based on the n-Calculus
Year
Venue
DocType
2008
BCS Int. Acad. Conf.
Conference
Citations 
PageRank 
References 
0
0.34
1
Authors
2
Name
Order
Citations
PageRank
Kohei Honda169829.60
Nobuko Yoshida22607153.29