Concepedia

Simon Robillard

SR

Statistics

Publications

4

Citations

81

H-Index

4

Active since

2016

Affiliations

Chalmers University of Technology(Current)

TU Wien

Simon Robillard is an author at Chalmers University of Technology specializing in computer science, formal methods, and proof assistants.

ORCID

Publications per year

2016–2022

4

Publications

4