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, September 2000.

Contact

Marie-Laure Potet

BibTex Reference

@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}
}

EndNote Reference [help]

Get EndNote Reference (.ref)