Zenodo.org will be unavailable for 2 hours on September 29th from 06:00-08:00 UTC. See announcement.

Software Open Access

TyGuS/robosuslik: ESOP 2020 Artifact

Ilya Sergey; Nadia Polikarpova; Amy Zhu; rashchedrin; andrecostea

Citation Style Language JSON Export

{
  "publisher": "Zenodo", 
  "DOI": "10.5281/zenodo.3630045", 
  "title": "TyGuS/robosuslik: ESOP 2020 Artifact", 
  "issued": {
    "date-parts": [
      [
        2020, 
        1, 
        29
      ]
    ]
  }, 
  "abstract": "<p>Artifact accompanying the ESOP 2020 paper <a href=\"https://arxiv.org/abs/2001.10723\">Concise Read-Only Specifications for Better Synthesis of Programs with Pointers</a>.</p>", 
  "author": [
    {
      "family": "Ilya Sergey"
    }, 
    {
      "family": "Nadia Polikarpova"
    }, 
    {
      "family": "Amy Zhu"
    }, 
    {
      "family": "rashchedrin"
    }, 
    {
      "family": "andrecostea"
    }
  ], 
  "version": "1.0", 
  "type": "article", 
  "id": "3630045"
}
103
7
views
downloads
All versions This version
Views 103102
Downloads 77
Data volume 2.8 MB2.8 MB
Unique views 8685
Unique downloads 77
More info on how stats are collected.
Available in Indexed in
Publication date:
January 29, 2020
DOI:
10.5281/zenodo.3630045

Zenodo DOI Badge

DOI 

10.5281/zenodo.3630045

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.3630045.svg)](https://doi.org/10.5281/zenodo.3630045)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.3630045.svg
   :target: https://doi.org/10.5281/zenodo.3630045

HTML 

<a href="https://doi.org/10.5281/zenodo.3630045"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.3630045.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.3630045.svg

Target URL 

https://doi.org/10.5281/zenodo.3630045

Related identifiers:
Supplement to
License (for files):
Other (Open)

Versions

Version 1.0 10.5281/zenodo.3630045 Jan 29, 2020
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.3630044. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export