Communication Dans Un Congrès
Année : 2016
Burkhart Wolff : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01765528
Soumis le : jeudi 12 avril 2018-21:26:09
Dernière modification le : vendredi 9 février 2024-03:25:24
Dates et versions
Identifiants
- HAL Id : hal-01765528 , version 1
Citer
Burkhart Wolff, Achim D. Brucker. Monadic Sequence Testing and Explicit Test-Refinements. Tests and Proofs - 10th International Conference, 2016, Vienna, France. ⟨hal-01765528⟩
Collections
87
Consultations
0
Téléchargements