Vérification symbolique de modèles: à l'aide de systèmes de ré-écritures dédiés

Duy Tung NGUYEN · Editions Universitaires Europeennes Eue