The following pages link to Marco A. Feliú (Q1791192):
Displayed 4 items.
- Boosting the reuse of formal specifications (Q1791193) (← links)
- An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs (Q3296349) (← links)
- The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages (Q5398052) (← links)
- Eliminating unstable tests in floating-point programs (Q6085981) (← links)