Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Tommy Schneider
conf.researchr.org general profile
ESEC/FSE 2020 profile
Not registered as user yet
Name:
Tommy Schneider
Affiliation:
Harvey Mudd College, USA
Contributions
2020
ESEC/FSE
Author of MCBAT: A Practical Tool for Model Counting Constraints on Bounded Integer Arrays within the Tool Demos-track
Share
x
Tue 3 Dec 18:00