Concepedia

Author

Vilem-Benjamin Liepelt

University of KentORCID

Also Known As

Vilem-Benjamin Liepelt

3

Publications

82

Citations

2

H-Index

8

Concepts

All Affiliations

University of Kent
VL

About

Vilem-Benjamin Liepelt is an author at University of Kent specializing in formal verification, software engineering, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

79

2

Computer Science

1

1

79

3

Software Analysis

1

1

79

4

Software Engineering

1

1

79

5

Automated Reasoning

1

1

79

Vilem-Benjamin Liepelt

×

1

Publications

79

Citations

1

H-Index

YearCitations

Page 1