Concepedia

Author

Casey Wagner

Also Known As

C C Wagner, C Wagner, C. Wagner, Casey Wagner

14

Publications

149

Citations

3

H-Index

7

Concepts

CW

About

Casey Wagner is an author specializing in program analysis, verification, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

111

2

Computer Science

1

1

111

3

Software Analysis

1

1

111

4

Formal Methods

1

1

111

5

Formal Verification

1

1

111

Casey Wagner

×

2

Publications

136

Citations

2

H-Index

YearCitations

Page 1