Sciweavers

84
Voted
COMPASS
1995
15 years 3 months ago
Combining Algebraic and Set-Theoretic Specifications
Claus Hintermeier, Hélène Kirchner, ...