Conference paper Open Access

Certifying Graph-Manipulating C Programs via Localizations within Data Structures

Wang, Shengyi; Cao, Qinxiang; Mohan, Anshuman; Hobor, Aquinas


GeoJSON Export

{
  "type": "FeatureCollection", 
  "features": []
}
131
89
views
downloads
All versions This version
Views 131131
Downloads 8989
Data volume 10.5 MB10.5 MB
Unique views 116116
Unique downloads 6969

Share

Cite as