Jon McCune

JM

Statistics

Publications

4

Citations

775

H-Index

4

Active since

2005

Affiliations

Jon McCune is an author at Carnegie Mellon University specializing in computer science, engineering, and formal verification.

Publications per year

2005–2013

4

Publications

4