Author Info
Name
Affiliation
Papers
BYRON COOK
Microsoft Research
1
Collaborators
Citations 
PageRank 
2
23
1.04
Referers 
Referees 
References 
46
24
13
Title
Citations
PageRank
Year
Predicate abstraction via symbolic decision procedures231.042005