Salomé Eriksson

SE

Statistics

Publications

3

Citations

77

H-Index

3

Active since

2017

Affiliations

Salomé Eriksson is an author at University of Basel specializing in formal methods, computing, and automated reasoning.

Publications per year

2017–2020

3

Publications

3