Towards Antipatterns-Based Model Checking
Origine | Fichiers éditeurs autorisés sur une archive ouverte |
---|---|
Licence |
Origine | Fichiers éditeurs autorisés sur une archive ouverte |
---|---|
Licence |
ESTACA Gestionnaire HAL : Connectez-vous pour contacter le contributeur
https://hal.science/hal-04581288
Soumis le : mardi 21 mai 2024-11:35:51
Dernière modification le : samedi 1 juin 2024-03:21:29