Relational Symbolic Execution release_c5cjfas7srfjfbwjx6l2mc42ou

by Gian Pietro Farina, Stephen Chong, Marco Gaboardi

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  paper-conference
Stage   published
Year   2019
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: c3cd9b66-cdcf-4023-92aa-feaaf30ceb7b
API URL: JSON