Gaëlle Bossu

Publication Activity (10 Years)

Years Active: 2000-2000
Publications (10 Years): 0

Publications

Antoine Requet, Gaëlle Bossu
Embedding Formally Proved Code in a Smart Card: Converting B to C. ICFEM (2000)