Conference paper Open Access

Tame Your Annotations with MetAcsl: Specifying, Testing and Proving High-Level Properties

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


BibTeX Export

@proceedings{robles_virgile_2019_3601161,
  title        = {{Tame Your Annotations with MetAcsl: Specifying, 
                   Testing and Proving High-Level Properties}},
  year         = 2019,
  publisher    = {Zenodo},
  month        = sep,
  doi          = {10.1007/978-3-030-31157-5\_11},
  url          = {https://doi.org/10.1007/978-3-030-31157-5\_11}
}
62
58
views
downloads
Views 62
Downloads 58
Data volume 32.0 MB
Unique views 51
Unique downloads 56

Share

Cite as