Statistics
Publications
3
Citations
50
H-Index
3
Active since
2008
Affiliations
Carnegie Mellon University(Current)
William Lovas is an author at Carnegie Mellon University specializing in computer science, refinement types, and type checking.
Publications per year
2008–2010
3
3