Software Open Access

C4: Verified Transactional Objects

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


BibTeX Export

@software{mohsen_lesani_2022_6342476,
  author       = {Mohsen Lesani and
                  Li-yao Xia and
                  Anders Kaseorg and
                  Christian J. Bell and
                  Adam Chlipala and
                  Benjamin C. Pierce and
                  Steve Zdancewic},
  title        = {C4: Verified Transactional Objects},
  month        = mar,
  year         = 2022,
  publisher    = {Zenodo},
  version      = {0.0},
  doi          = {10.5281/zenodo.6342476},
  url          = {https://doi.org/10.5281/zenodo.6342476}
}
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