Vérification des Systèmes Mobiles

Ce cours présente les aspect informels et formels liés à la vérification des systèmes informatiques mobiles.