Feature Logics and Refinement.

Marc Aiguier, Christophe Gaston, Pascale Le Gall

Browse the full APSEC paper archive.