Kevin Henry

KH

Statistics

Publications

1

Citations

17

H-Index

1

Active since

2009

Affiliations

Kevin Henry is an author at University of Waterloo specializing in verification, formal verification, and data security.

Publications per year

2009–2009

1

Publications

1