Statistics
Publications
1
Citations
11
H-Index
1
Active since
2018
Affiliations
Dresden International University(Current)
Adrián Rebola-Pardo is an author at Dresden International University specializing in deductive verification, theorem proving, and resolutions.
Publications per year
2018–2018
1
1
1–1 of 1