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


GeoJSON Export

{
  "type": "FeatureCollection", 
  "features": []
}
62
58
views
downloads
Views 62
Downloads 58
Data volume 32.0 MB
Unique views 51
Unique downloads 56

Share

Cite as