Author Details

Geisler, Dietrich, Junior Undergraduate Student at the University of Utah, United States

  • UCUR 2016 - University of Utah
    Integrating Floating-Point Values into the Boogie and SMACK Languages

Creative Commons License
This work is licensed under a Creative Commons Attribution 3.0 License.

Women's Health Logo University of Utah Health Sciences Logo marriott library logo