CA:iBP07

Sylvain Boulmé, Marie-Laure Potet. Interpreting invariant composition in the B method using the Spec# ownership relation: a way to explain and relax B restrictions. In Proc. of Formal Specification and Development in B, 7th International Conference of B Users (B2007) LNCS 4355, Pages 4-18, Janvier 2007.

Contact

Sylvain Boulmé
Marie-Laure Potet

Référence BibTex

@InProceedings{CA:iBP07,
   Author = {Boulmé, Sylvain and Potet, Marie-Laure},
   Title = {Interpreting invariant composition in the B method using the Spec# ownership relation: a way to explain and relax B restrictions},
   BookTitle = {Proc. of Formal Specification and Development in B, 7th International Conference of B Users (B2007) LNCS 4355},
   Pages = {4--18},
   Publisher = {Springer-Verlag},
   Month = {January},
   Year = {2007}
}

Référence EndNote [help]

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