Concepedia

Author

Bjoern Wachter

University of Leicester

Also Known As

Bjoern Wachter

1

Publications

30

Citations

1

H-Index

9

Concepts

All Affiliations

University of Leicester
BW

About

Bjoern Wachter is an author at University of Leicester specializing in automated reasoning, formal verification, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

30

2

Computer Science

1

1

30

3

Automated Reasoning

1

1

30

4

Computational Complexity

1

1

30

5

Discrete Mathematics

1

1

30

Bjoern Wachter

×

1

Publications

30

Citations

1

H-Index

YearCitations

Page 1