Concepedia

Author

David Bühler

Also Known As

Bengtson, Jesper, Bühler, David, David Bühler

10

Publications

107

Citations

3

H-Index

13

Concepts

All Affiliations

DB

About

David Bühler is an author at Laboratoire d'Intégration des Systèmes et des Technologies specializing in system software, formal methods, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

58

2

Computer Engineering

1

1

58

3

Computer Science

1

1

58

4

Software Analysis

1

1

58

5

Software Engineering

1

1

58

David Bühler

×

1

Publications

58

Citations

1

H-Index

YearCitations

Page 1