Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Mara Downing
conf.researchr.org general profile
ESEC/FSE 2020 profile
Not registered as user
Name:
Mara Downing
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
Sat 21 Dec 17:46