Statistics
Publications
1
Citations
22
H-Index
1
Active since
1993
Affiliations
Mitre (United States)(Current)
Jonathan I. Leivent is an author at Mitre (United States) specializing in verification, automated reasoning, and formal methods.
Publications per year
1993–1993
1
1