Concepedia

Author

Ian Leonard

Utah State University

Also Known As

I Leonard, Ian J. Leonard, Ian Leonard, Leonard, IJ

8

Publications

45

Citations

3

H-Index

9

Concepts

All Affiliations

Utah State University
IL

About

Ian Leonard is an author at Utah State University specializing in program analysis, automated reasoning, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

14

2

Communication

1

1

14

3

Computer Science

1

1

14

4

Software Analysis

1

1

14

5

Automated Reasoning

1

1

14

Ian Leonard

×

2

Publications

33

Citations

2

H-Index

YearCitations

Page 1