Gaëlle Bossu

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2000

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

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

Coauthor Index