Concepedia

Author

James A Menegay

Case Western Reserve University

Also Known As

James A Menegay

1

Publications

18

Citations

1

H-Index

7

Concepts

All Affiliations

Case Western Reserve University
JA

About

James A Menegay is an author at Case Western Reserve University specializing in automated reasoning, formal verification, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

18

2

Computer Science

1

1

18

3

Software Analysis

1

1

18

4

Automated Reasoning

1

1

18

5

Formal Methods

1

1

18

James A Menegay

×

1

Publications

18

Citations

1

H-Index

YearCitations

Page 1