Camille Salinesi, Raúl Mazo, Daniel Diaz, Olfa Djebbi. Using Integer Constraint Solving in Reuse Based Requirements Engineering. In RE 2010, 18th IEEE International Requirements Engineering Conference, Sydney, New South Wales, Australia, September 27 - October 1, 2010. pages 243-251, IEEE Computer Society, 2010. [doi]
Abstract is missing.