Software Open Access

C4: Verified Transactional Objects

Mohsen Lesani; Li-yao Xia; Anders Kaseorg; Christian J. Bell; Adam Chlipala; Benjamin C. Pierce; Steve Zdancewic


GeoJSON Export

{
  "type": "FeatureCollection", 
  "features": []
}
49
5
views
downloads
All versions This version
Views 4949
Downloads 55
Data volume 1.5 MB1.5 MB
Unique views 3737
Unique downloads 55

Share

Cite as