Automated Deduction applied to the Analysis and Verification of Infinite State Systems
Déduction automatique appliquée à l'analyse et la vérification de systèmes infinis
Résumé
Description de mes activités de recherche réalisées depuis plus de 20 ans.
Loading...