Logique de Réécriture et ses Applications

Module de Logique de réécriture et ses différentes applications dans la modélisation et la vérification des systèmes dynamiques.