Grégory Lestiennes

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2002

1 Grégory Lestiennes, Marie-Claude Gaudel: Testing Processes from Formal Specifications with Inputs, Outputs and Data Types. ISSRE 2002: 3-14

	2002
1		Grégory Lestiennes, Marie-Claude Gaudel: Testing Processes from Formal Specifications with Inputs, Outputs and Data Types. ISSRE 2002: 3-14

Coauthor Index