Scholar
Gary T. Leavens
Google Scholar ID: NuVArIYAAAAJ
Professor, University of Central Florida
Programming Languages
Formal Methods
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,720
H-index
19
i10-index
35
Publications
20
Co-authors
85
list available
Co-authors
7 total
Peter Müller
ETH Zurich
Hridesh Rajan
Dean, Tulane University School of Science and Engineering
Todd Millstein
Professor of Computer Science, UCLA
Michael D. Ernst
Professor of Computer Science & Engineering, University of Washington
David A. Naumann
Professor of Computer Science, Stevens Institute of Technology
Giuseppe Castagna
Directeur de Recherche CNRS, Université Paris Cité
Benjamin C. Pierce
Professor of Computer and Information Science, University of Pennsylvania
