Concepedia

Author

Aharon Shtull-Trauring

Weizmann Institute of Science

Also Known As

A. Shtull-Trauring, AHARON SHTULL-TRAURING, Aharon Shtull-Trauring

3

Publications

1.1K

Citations

1

H-Index

14

Concepts

All Affiliations

Weizmann Institute of Science
AS

About

Aharon Shtull-Trauring is an author at Weizmann Institute of Science specializing in system software, formal specification, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

1.1K

2

Computer Science

1

1

1.1K

3

Systems Engineering

1

1

1.1K

4

Complex Systems

1

1

1.1K

5

Programming Languages

1

1

1.1K

Aharon Shtull-Trauring

×

1

Publications

1.1K

Citations

1

H-Index

YearCitations

Page 1