Carlsson, Mats and Grinchtein, Olga and Pearson, Justin (2017) Modelling and Verification of User Interactions Using Constraint Programming. In: 2017 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C), Prague, Czech Republic.
Full text not available from this repository.
Official URL: https://doi.org/10.1109/QRS-C.2017.92
|Item Type:||Conference or Workshop Item (Paper)|
|Deposited By:||Mats Carlsson|
|Deposited On:||14 Sep 2017 09:26|
|Last Modified:||14 Sep 2017 09:26|
Repository Staff Only: item control page