Travelled to:1 × Germany
Collaborated with:R.Sanahuja L.Balado J.Figueras Y.A.Ameur P.Cros J.Falcon
Talks about:interpret (1) signatur (1) arithmet (1) abstract (1) circuit (1) applic (1) analog (1) point (1) float (1) digit (1)
Person: A. Gomez
DBLP: Gomez:A=
Contributed to:
2010
1992Wrote 2 papers:
- DATE-2010-GomezSBF
- Analog circuit test based on a digital signature (AG, RS, LB, JF), pp. 1641–1644.
- WSA-1992-AmeurCFG #abstract interpretation #float
- An Application of Abstract Interpretation to Floating Point Arithmetic (YAA, PC, JJF, AG), pp. 205–212.