Concepedia

Author

David Übler

Friedrich-Alexander-Universität Erlangen-Nürnberg

Also Known As

David Übler, Übler, David

2

Publications

41

Citations

2

H-Index

8

Concepts

All Affiliations

Friedrich-Alexander-Universität Erlangen-Nürnberg
DÜ

About

David Übler is an author at Friedrich-Alexander-Universität Erlangen-Nürnberg specializing in formal verification, software engineering, and system software.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

38

2

Software Analysis

1

1

38

3

Software Engineering

1

1

38

4

Formal Verification

1

1

38

5

Program Analysis

1

1

38

David Übler

×

1

Publications

38

Citations

1

H-Index

YearCitations

Page 1