Optimization of Equational Specifications Using Genetic Techniques.

Aitor Ibarra, Jos M. Mendas, Juan Lanchares, Jos Ignacio Hidalgo, Romn Hermida

Browse the full DSD paper archive.