Concepedia

Author

Hannes Mehnert

University of Cambridge

Also Known As

Hannes Mehnert, Mehnert, Hannes

13

Publications

98

Citations

6

H-Index

25

Concepts

All Affiliations

University of Cambridge
HM

About

Hannes Mehnert is an author at University of Cambridge specializing in formal specification, automated reasoning, and engineering.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

42

2

Computer Science

2

2

42

3

Computer Engineering

1

1

17

4

Systems Engineering

1

1

17

5

Asynchronous Systems

1

1

17

Hannes Mehnert

×

3

Publications

65

Citations

3

H-Index

YearCitations

Page 1