A first step in the design of a formally verified constraint-based testing tool: FocalTest
Résumé
A first step in the design of a formally verified constraint-based testing tool
Laboratoire CEDRIC : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01126115
Soumis le : vendredi 6 mars 2015-11:40:48
Dernière modification le : vendredi 19 juillet 2024-11:38:04