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 : jeudi 31 octobre 2024-11:29:12
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, Jul 2016, Vienna, Austria. ⟨hal-01765528⟩
Collections
89
Consultations
0
Téléchargements