Conference Papers
Year : 2016
Burkhart Wolff : Connect in order to contact the contributor
https://inria.hal.science/hal-01765528
Submitted on : Thursday, April 12, 2018-9:26:09 PM
Last modification on : Friday, February 9, 2024-3:25:24 AM
Dates and versions
Identifiers
- HAL Id : hal-01765528 , version 1
Cite
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
View
0
Download