Euclide

swMATH7261MaRDI QIDQ19310FDOQ19310

Author name not available (Why is that?)

Official website: http://euclide.gforge.inria.fr/

Cited In (5)

• FocalTest
• EasyCheck
• Luck
• Beginner's luck: a language for property-based generators
• A first step in the design of a formally verified constraint-based testing tool: FocalTest

This page was built for software: Euclide