On Specifying and Verifying Context-aware Systems.

Brahim Djoudi, Chafia Bouanaka, Nadia Zeghib

Browse the full ICSoft paper archive.