Statistics
Publications
1
Citations
17
H-Index
1
Active since
2009
Affiliations
University of Waterloo(Current)
Kevin Henry is an author at University of Waterloo specializing in verification, formal verification, and data security.
Publications per year
2009–2009
1
1