Preprint Open Access

Verication Coverage for Combining Test and Proof

Hoang Le, Viet; Correnson, Loïc; Signoles, Julien; Wiels, Virginie


BibTeX Export

@misc{hoang_le_viet_2018_3609494,
  author       = {Hoang Le, Viet and
                  Correnson, Loïc and
                  Signoles, Julien and
                  Wiels, Virginie},
  title        = {Verication Coverage for Combining Test and Proof},
  month        = jun,
  year         = 2018,
  publisher    = {Zenodo},
  doi          = {10.5281/zenodo.3609494},
  url          = {https://doi.org/10.5281/zenodo.3609494}
}
28
29
views
downloads
All versions This version
Views 2828
Downloads 2929
Data volume 9.5 MB9.5 MB
Unique views 2626
Unique downloads 2929

Share

Cite as