Concepedia

Author

Robert S. Streett

Also Known As

Robert S. Streett

7

Publications

661

Citations

6

H-Index

7

Concepts

All Affiliations

RS

About

Robert S. Streett is an author at Boston University specializing in formal methods, automated reasoning, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

3

3

581

2

Computer Science

3

3

581

3

Automated Reasoning

3

3

581

4

Formal Methods

3

3

581

5

Systems Engineering

1

1

152

Robert S. Streett

×

3

Publications

581

Citations

3

H-Index

YearCitations

Page 1