Jay-Evan J. Tevis

JJ

Statistics

Publications

2

Citations

54

H-Index

2

Active since

2004

Affiliations

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

Publications

2