Stephen Creff

	2009
1		Philippe Dhaussy, Pierre Yves Pillain, Stephen Creff, Amine Raji, Yves Le Traon, Benoit Baudry: Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation. MoDELS 2009: 438-452

Coauthor Index

1	Benoit Baudry	[1]
2	Philippe Dhaussy	[1]
3	Pierre Yves Pillain	[1]
4	Amine Raji	[1]
5	Yves Le Traon	[1]

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page