Monadic Sequence Testing and Explicit Test-Refinements - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2016

Monadic Sequence Testing and Explicit Test-Refinements

No file

Dates and versions

hal-01765528 , version 1 (12-04-2018)

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⟩
87 View
0 Download

Share

Gmail Facebook X LinkedIn More