Conference paper Open Access

MetACSL : Specification and Verification of High-Level Properties

Robles, Virgile; Kosmatov, Virgile; Prevosto, Virgile; Rilling, Louis; Le Gall, Pascale


BibTeX Export

@proceedings{robles_virgile_2019_3601144,
  title        = {{MetACSL : Specification and Verification of High- 
                   Level Properties}},
  year         = 2019,
  publisher    = {Zenodo},
  month        = apr,
  doi          = {10.1007/978-3-030-17462-0\_22},
  url          = {https://doi.org/10.1007/978-3-030-17462-0\_22}
}
62
40
views
downloads
Views 62
Downloads 40
Data volume 22.1 MB
Unique views 48
Unique downloads 38

Share

Cite as