Using Integer Constraint Solving in Reuse Based Requirements Engineering.

Camille Salinesi, Ral Mazo, Daniel Diaz, Olfa Djebbi

Browse the full RE paper archive.