The following pages link to Marie-Claude Gaudel (Q391417):
Displaying 12 items.
- (Q174080) (redirect page) (← links)
- A new dichotomic algorithm for the uniform random generation of words in regular languages (Q391418) (← links)
- Test selection for traces refinement (Q481094) (← links)
- Testing for refinement in \textsf{Circus} (Q766162) (← links)
- How to make algebraic specifications more understandable: An experiment with the PLUSS specification language (Q1124317) (← links)
- Testing algebraic data types and processes: A unifying theory (Q1125424) (← links)
- (Q2729904) (← links)
- (Q2771764) (← links)
- Specification Coverage for Testing in Circus (Q3055737) (← links)
- Unifying Theories in Isabelle/HOL (Q3055747) (← links)
- (Q3197342) (← links)
- (Q3339264) (← links)
