Gaëlle BOSSU : Family tree by Gérard
Delphine BOSSU on LinkedIn: Pourquoi les femmes font plus de burn
CiteSeerX — Embedding Formally Proved Code in a Smart Card: Converting B to C
The B method has already been used to model smart card components.
The Geneanet family trees are powered by Geneweb 7.