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
    Abstract


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