Not registered as user yet

Name:Liam Machado
Affiliation:University of Utah

Contributions

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