Author Info
Name
Affiliation
Papers
DAVID GREVE
Rockwell Collins, Cedar Rapids, IA USA
3
Collaborators
Citations 
PageRank 
7
1
1.03
Referers 
Referees 
References 
5
40
12
Title
Citations
PageRank
Year
Synthesis of infinite-state systems with random behavior00.342020
Trapezoidal Generalization over Linear Constraints.00.342018
SIMPAL: a compositional reasoning framework for imperative programs10.362017