Concepedia

Author

Bart Bressler

Also Known As

Bart Bressler

2

Publications

52

Citations

2

H-Index

6

Concepts

All Affiliations

BB

About

Bart Bressler is an author at Cornell University specializing in engineering, automated reasoning, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

44

2

Computer Science

1

1

44

3

Mathematics Education

1

1

44

4

Automated Reasoning

1

1

44

5

Formal Methods

1

1

44

Bart Bressler

×

1

Publications

44

Citations

1

H-Index

YearCitations

Page 1