Concepedia

Author

Carl Eastlund

Northeastern University

Also Known As

Carl Eastlund

21

Publications

378

Citations

6

H-Index

25

Concepts

All Affiliations

Northeastern UniversityUniversity of UtahNorthwestern UniversityCalifornia Polytechnic State UniversityBrigham Young University
CE

About

Carl Eastlund is an author at Northeastern University specializing in formal methods, formal verification, and verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

4

4

159

2

Computer Science

3

3

100

3

Language Studies

1

1

196

4

Linguistics

1

1

196

5

Systems Engineering

1

1

59

Carl Eastlund

×

5

Publications

355

Citations

5

H-Index

YearCitations

Page 1