N. Choquet

Publication Activity (10 Years)

Years Active: 1985-1986
Publications (10 Years): 0

Publications

Luc Bougé, N. Choquet, Laurent Fribourg, Marie-Claude Gaudel
Test sets generation from algebraic specifications using logic programming. J. Syst. Softw. 6 (4) (1986)
Luc Bougé, N. Choquet, Laurent Fribourg, Marie-Claude Gaudel
Application of Prolog to Test Sets Generation from Algebraic Specifications. TAPSOFT, Vol.2 (1985)
N. Choquet, Laurent Fribourg, A. Mauboussin
Runnable protocol specifications using the logic interpreter SLOG. PSTV (1985)