Conference paper Open Access

Symbolic execution of transition systems with function summaries

Boudhiba, Imen; Gaston, Christophe; Le Gall, Pascale; Prévosto Virgile


GeoJSON Export

{
  "type": "FeatureCollection", 
  "features": []
}
47
62
views
downloads
Views 47
Downloads 62
Data volume 49.8 MB
Unique views 43
Unique downloads 61

Share

Cite as