Concepedia

Author

Kenneth G. Walter

Case Western Reserve University

Also Known As

K. G. Walter, Kenneth G. Walter

5

Publications

121

Citations

4

H-Index

30

Concepts

All Affiliations

Case Western Reserve University
KG

About

Kenneth G. Walter is an author at Case Western Reserve University specializing in software analysis, formal methods, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

4

4

121

2

Computer Science

4

4

121

3

Language Studies

1

1

69

4

Computer Engineering

1

1

14

5

Linguistics

1

1

69

Kenneth G. Walter

×

4

Publications

121

Citations

4

H-Index

YearCitations

Page 1