BibTeX
CSL-JSON
MLA
Harvard
Relational Symbolic Execution
release_c5cjfas7srfjfbwjx6l2mc42ou
by
Gian Pietro Farina, Stephen Chong, Marco Gaboardi
Published
in ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming by ACM Press.
2019 p10:1-10:14
Archived Files and Locations
application/pdf 417.1 kB
file_tb5hk6imrzcrhgjulq7pi5n4lm
|
open.bu.edu (web) web.archive.org (webarchive) |
Read Archived PDF
Preserved and Accessible
Type
Stage
Year 2019
paper-conference
Stage
published
Year 2019
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
access all versions, variants, and formats of this works (eg, pre-prints)
Cite This
Lookup Links
oaDOI/unpaywall (OA fulltext)
Crossref Metadata (via API)
Worldcat
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar
Crossref Metadata (via API)
Worldcat
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar