Statistics
Publications
2
Citations
54
H-Index
2
Active since
2004
Affiliations
Auburn University(Current)
Jay-Evan J. Tevis is an author at Auburn University specializing in formal verification, information security, and program analysis.
Publications per year
2004–2006
2
2
1–2 of 2