Travelled to:1 × Italy
1 × United Kingdom
Collaborated with:U.Martin A.A.Adams S.Linton R.J.Boulton R.Hardy T.Kelsey
Talks about:vsditlu (1) definit (1) control (1) verifi (1) symbol (1) integr (1) design (1) verif (1) engin (1) tabl (1)
Person: Hanne Gottliebsen
DBLP: Gottliebsen:Hanne
Contributed to:
2004
1999Wrote 2 papers:
- IFM-2004-BoultonGHKM #design #verification
- Design Verification for Control Engineering (RJB, HG, RH, TK, UM), pp. 21–35.
- CADE-1999-AdamsGLM #named
- VSDITLU: a verifiable symbolic definite integral table look-up (AAA, HG, SL, UM), pp. 112–126.