4 papers:
ICST-2009-Gotlieb #c #constraints #framework #named #source code #testing- Euclide: A Constraint-Based Testing Framework for Critical C Programs (AG), pp. 151–160.
STOC-1997-Trevisan #geometry- When Hamming Meets Euclid: The Approximability of Geometric TSP and MST (Extended Abstract) (LT), pp. 21–29.
ICSE-1981-WortmanC #case study #experience- Early Experiences with Euclid (DBW, JRC), pp. 27–33.
SCC-1979-HoltW #implementation- A model for implementing Euclid modules and type templates (RCH, DBW), pp. 8–12.
