Euclide

swMATH7261MaRDI QIDQ19310FDOQ19310

Author name not available (Why is that?)

Cited In (2)

• A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest
• Beginner's luck: a language for property-based generators

This page was built for software: Euclide