TY  - RPRT
TI  - GeneSyst: a Tool to Reason about Behavioral Aspects of B Event Specifications. Application to Security Properties.
AU  - Didier Bert
AU  - Marie-Laure Potet
AU  - Nicolas Stouls
PY  - 2010
UR  - https://arxiv.org/abs/1004.1472
ID  - 1004.1472
ER  -