Scholar

Lars-Henrik Eriksson

Google Scholar ID: 95JnemoAAAAJ

Uppsala university

Formal methodslogic in computer science

Google Scholar↗

Citations & Impact

All-time

Citations

343

H-index

12

i10-index

12

Publications

20

Co-authors

3

list available

Contact

No contact links provided.

Publications

1 items

Why does it fail? Explanation of verification failures

2026

Cited

0

Resume (English only)

Co-authors

3 total

Johannes Borgström

Associate professor in computing science, Uppsala University