Nicolas Stouls

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)

Coauthor Index

1	Frédéric Badeau	[1]
2	Didier Bert	[1] [2]
3	Sylvain Boulmé	[1]
4	Christophe Métayer	[1]
5	Marie-Laure Potet	[1] [2] [3]
6	Laurent Voisin	[1]