Skip to Main content Skip to Navigation
New interface
Conference papers

Monadic Sequence Testing and Explicit Test-Refinements

Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-01765528
Contributor : Burkhart Wolff Connect in order to contact the contributor
Submitted on : Thursday, April 12, 2018 - 9:26:09 PM
Last modification on : Thursday, October 6, 2022 - 10:40:00 AM

Identifiers

  • HAL Id : hal-01765528, version 1

Citation

Burkhart Wolff, Achim D. Brucker. Monadic Sequence Testing and Explicit Test-Refinements. Tests and Proofs - 10th International Conference, 2016, Vienna, France. ⟨hal-01765528⟩

Share

Metrics

Record views

79