| * | 2009 |
|---|
| 4 | EE | Jean-François Couchot,
Alain Giorgetti,
Nicolas Stouls:
Graph Based Reduction of Program Verification Conditions
CoRR abs/0907.1357: (2009) |
| 2007 |
|---|
| 3 | EE | Nicolas Stouls,
Marie-Laure Potet:
Security Policy Enforcement Through Refinement Process.
B 2007: 216-231 |
| 2005 |
|---|
| 2 | EE | Didier Bert,
Marie-Laure Potet,
Nicolas Stouls:
GeneSyst: A Tool to Reason About Behavioral Aspects of B Event Specifications. Application to Security Properties.
ZB 2005: 299-318 |
| 2004 |
|---|
| 1 | | Frédéric Badeau,
Didier Bert,
Sylvain Boulmé,
Christophe Métayer,
Marie-Laure Potet,
Nicolas Stouls,
Laurent Voisin:
Adaptabilité et validation de la traduction de B vers C. Points de vue et résultats du projet BOM.
Technique et Science Informatiques 23(7): 879-903 (2004) |
