Reto Schmid

RS

Statistics

Publications

2

Citations

29

H-Index

2

Active since

2000

Affiliations

Reto Schmid is an author at University of Padua specializing in formal verification, program analysis, and software maintenance.

Publications per year

2000–2022

2

Publications

2