Browse by Authors and EditorsJump to: 2017 Number of items: 1. 2017Ul-Haque, Hafiz Mahfooz (2017) A formal approach to modelling and verification of context-aware systems. PhD thesis, University of Nottingham. |
Browse by Authors and EditorsJump to: 2017 Number of items: 1. 2017Ul-Haque, Hafiz Mahfooz (2017) A formal approach to modelling and verification of context-aware systems. PhD thesis, University of Nottingham. |