Not registered as user yet

Name: Liam Machado

Affiliation: University of Utah

Contributions

SPLASH 2018Author of Extending Boogie to Support the SMT-LIB FloatingPoint Theory within the SRC-track