Samuel Drews

SD

Statistics

Publications

3

Citations

128

H-Index

3

Active since

2017

Samuel Drews is an author at University of Wisconsin–Madison specializing in computer science, deductive verification, and formal methods.

Publications per year

2017–2020

3

Publications

3