Concepedia

Author

Robert E. Shostak

Also Known As

International Conference on Automated Deduction 1984 Napa, Calif., Leslie Lamport, R. E. Shostak, R. Shostak, R.E. Shostak, Robert E. Shostak, Robert Shostak

46

Publications

11.1K

Citations

17

H-Index

31

Concepts

All Affiliations

RE

About

Robert E. Shostak is an author at SRI International specializing in engineering, formal verification, and computer science.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

6

6

3K

2

Computer Engineering

2

2

588

3

Arts

1

1

129

4

Business

1

1

2.4K

5

Communication

1

1

129

Robert E. Shostak

×

13

Publications

9.9K

Citations

12

H-Index

YearCitations

Page 1