Accès aux Contact | Référence BibTex | Référence EndNote |

CIC:BP00

Pierre Bontron, Marie-Laure Potet. Automatic construction of validated B components from structured developments. In Proc. of the Z and B International Conference, ZB2000, York, U.K, Septembre 2000.

Contact

Marie-Laure Potet

Référence BibTex

@InProceedings{CIC:BP00,
   Author = {Bontron, Pierre and Potet, Marie-Laure},
   Title = {{Automatic construction of validated B components from structured developments}},
   BookTitle = {Proc. of the Z and B International Conference, ZB2000},
   Publisher = {Springer-Verlag, LNCS},
   Address = {York, U.K},
   Month = {September},
   Year = {2000}
}

Référence EndNote [help]

Charger la référence EndNote (.ref)


Cette page a été générée automatiquement par bib2html.