Modelling and Verification of User Interactions Using Constraint Programming.

Mats Carlsson, Olga Grinchtein, Justin Pearson

Browse the full QRS paper archive.