CIC-05:vasco-27

Didier Bert, Marie-Laure Potet, Nicolas Stouls. GeneSyst: A Tool to Reason about Behavioral Aspects of B Event Specifications. Application to Security Properties. In ZB2005 Conference, Pages 299-318, 2005.

Contact

Didier Bert
Marie-Laure Potet

Référence BibTex

@InProceedings{CIC-05:vasco-27,
   Author = {Bert, Didier and Potet, Marie-Laure and Stouls, Nicolas},
   Title = {{GeneSyst: A Tool to Reason about Behavioral Aspects of B Event Specifications. Application to Security Properties}},
   BookTitle = {{ZB2005 Conference}},
   Pages = {299--318},
   Publisher = {LNCS 3455, Springer-Verlag},
   Year = {2005}
}

Référence EndNote [help]

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