Gary T. Leavens
Scholar

Gary T. Leavens

Google Scholar ID: NuVArIYAAAAJ
Professor, University of Central Florida
Programming LanguagesFormal Methods
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,720
 
H-index
19
 
i10-index
35
 
Publications
20
 
Co-authors
85
list available
Contact
No contact links provided.
Publications
20 items
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Co-authors
85 total
Co-author 1
Co-author 1
Co-author 2
Co-author 2
Peter Müller
Peter Müller
ETH Zurich
Co-author 4
Co-author 4
Hridesh Rajan
Hridesh Rajan
Dean, Tulane University School of Science and Engineering
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Co-author 8
Co-author 8