Concepedia

Author

OndYej Lhoták

University of Waterloo

Also Known As

OndYej Lhoták

2

Publications

14

Citations

2

H-Index

11

Concepts

All Affiliations

University of Waterloo
OL

About

OndYej Lhoták is an author at University of Waterloo specializing in formal verification, software engineering, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

11

2

Computer Science

1

1

11

3

Software Analysis

1

1

11

4

Software Engineering

1

1

11

5

Automated Reasoning

1

1

11

OndYej Lhoták

×

1

Publications

11

Citations

1

H-Index

YearCitations

Page 1