Author Info
Name
Affiliation
Papers
ROBBY ROBBY
Kansas State University
1
Collaborators
Citations 
PageRank 
5
8
0.57
Referers 
Referees 
References 
17
33
14
Title
Citations
PageRank
Year
Bakar Kiasan: flexible contract checking for critical systems using symbolic execution80.572011