Feature Specification and Static Analysis for Interaction Resolution.

Marc Aiguier, Karim Berkani, Pascale Le Gall

Browse the full FM paper archive.