Concepedia

Author

Renate Eilers

TU Wien

Also Known As

Eilers, Renate, Renate Eilers

5

Publications

137

Citations

2

H-Index

10

Concepts

All Affiliations

TU Wien
RE

About

Renate Eilers is an author at TU Wien specializing in software verification, software analysis, and formal specification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

22

2

Computer Science

1

1

22

3

Software Analysis

1

1

22

4

Automated Reasoning

1

1

22

5

Formal Methods

1

1

22

Renate Eilers

×

2

Publications

135

Citations

2

H-Index

YearCitations

Page 1