There is a newer version of this record available.

Software Open Access

SuSLik (CAV 2021 Artifact): Code and Benchmarks

Shachar Itzhaky; Hila Peleg; Nadia Polikarpova; Reuben N.S. Rowe; Ilya Sergey


GeoJSON Export

{
  "type": "FeatureCollection", 
  "features": []
}
1,038
38
views
downloads
All versions This version
Views 1,038107
Downloads 381
Data volume 34.7 GB501.7 kB
Unique views 61176
Unique downloads 291

Share

Cite as