N. Choquet

	1986
3		Luc Bougé, N. Choquet, Laurent Fribourg, Marie-Claude Gaudel: Test sets generation from algebraic specifications using logic programming. Journal of Systems and Software 6(4): 343-360 (1986)
	1985
2		N. Choquet, Laurent Fribourg, A. Mauboussin: Runnable protocol specifications using the logic interpreter SLOG. PSTV 1985: 149-168
1		Luc Bougé, N. Choquet, Laurent Fribourg, Marie-Claude Gaudel: Application of Prolog to Test Sets Generation from Algebraic Specifications. TAPSOFT, Vol.2 1985: 261-275

Coauthor Index

1	Luc Bougé	[1] [3]
2	Laurent Fribourg	[1] [2] [3]
3	Marie-Claude Gaudel	[1] [3]
4	A. Mauboussin	[2]