Conference paper Open Access

Logic against Ghosts: Comparison of Two Proof Approaches for a List Module

Blanchard, Allan; Kosmatov, Nikolai; Loulergue, Frédéric


BibTeX Export

@proceedings{blanchard_allan_2019_2642017,
  title        = {{Logic against Ghosts: Comparison of Two Proof 
                   Approaches for a List Module}},
  year         = 2019,
  publisher    = {Zenodo},
  month        = apr,
  doi          = {10.1145/3297280.3297495},
  url          = {https://doi.org/10.1145/3297280.3297495}
}
208
92
views
downloads
Views 208
Downloads 92
Data volume 69.0 MB
Unique views 199
Unique downloads 87

Share

Cite as