2007

Revue Internationale avec comité de lecture

• [DM07] C. Dubois, J. Marc Mota. "Geometric modeling with B: formal specification of generalized maps", Journal of Scientific & Practical Computing Journal, vol. 1(2), pp. 9-24, 2007

Revue Nationale avec comité de lecture

• [MD07] J. Marc Mota, C. Dubois. "Raffinement de modèles topologiques : des droites aux 2-G-cartes", TSI, Technique et Science Informatiques, vol. 26(7), pp. 883-908, 2007