- Preview Available
- Dissertation or Thesis
A constraint-based approach to verification of programs with floating-point numbers
A constraint-based approach to verification of programs with floating-point numbersAcosta Zapien, Carlos Eduardo.
The University of Texas at El Paso ProQuest Dissertations & Theses, 2007. 1449737.





