Concepedia

Author

Ann Lillieström

Chalmers University of TechnologyORCID

Also Known As

Ann Lillieström

12

Publications

116

Citations

4

H-Index

8

Concepts

All Affiliations

Chalmers University of Technology
AL

About

Ann Lillieström is an author at Chalmers University of Technology specializing in verification, automated reasoning, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

13

2

Computer Science

1

1

13

3

Automated Reasoning

1

1

13

4

Formal Methods

1

1

13

5

Formal Verification

1

1

13

Ann Lillieström

×

2

Publications

85

Citations

2

H-Index

YearCitations

Page 1