Author Info
Name
Affiliation
Papers
HAOXIAN ZHAO
Oxford University Computing Laboratory, Oxford, United Kingdom
1
Collaborators
Citations 
PageRank 
5
9
0.56
Referers 
Referees 
References 
22
25
12
Title
Citations
PageRank
Year
BOOM: taking boolean program model checking one step further90.562010