Travelled to:
1 × Italy
Collaborated with:
E.T.Barr V.Le Z.Su
Talks about:
automat (1) except (1) detect (1) point (1) float (1)
Person: Thanh Vo
DBLP: Vo:Thanh
Contributed to:
Wrote 1 papers:
- POPL-2013-BarrVLS #automation #detection #exception #float
- Automatic detection of floating-point exceptions (ETB, TV, VL, ZS), pp. 549–560.