N. Choquet

According to our database, N. Choquet authored at least 3 papers between 1985 and 1986.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1986

Test sets generation from algebraic specifications using logic programming.

Luc Bougé, N. Choquet, Laurent Fribourg, Marie-Claude Gaudel

J. Syst. Softw., 1986

1985

Application of Prolog to Test Sets Generation from Algebraic Specifications.

Luc Bougé, N. Choquet, Laurent Fribourg, Marie-Claude Gaudel

Proceedings of the Mathematical Foundations of Software Development, 1985

Runnable protocol specifications using the logic interpreter SLOG.

N. Choquet, Laurent Fribourg, Anne Mauboussin

Proceedings of the Protocol Specification, 1985