Rechercher

[MD06] Raffinement de données en B événementiel pour les algorithmes géométriques

Conférence Nationale avec comité de lecture : AFADL'06 - Approches Formelles dans l'Assistance au Développement de Logiciels, Paris, France. 200, January 2006,

Auteurs: J. Mota , C. Dubois

motcle:

BibTeX

@inproceedings {
MD06,
title="{Raffinement de données en B événementiel pour les algorithmes géométriques}",
author=" J. Mota and C. Dubois ",
booktitle="{AFADL'06 - Approches Formelles dans l'Assistance au Développement de Logiciels, Paris, France. 200}",
year=2006,
month="January",
}