Euclide

MaRDI QIDQ19310swMATHFDO

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