Statistics
Publications
1
Citations
125
H-Index
1
Active since
1986
Affiliations
Illinois College(Current)
J.K. Lowe is an author at Illinois College specializing in formal verification, formal methods, and automated reasoning.
Publications per year
1986–1986
1
1