Constraint-Based Synthesis of Coupling Proofs release_mjv7leejdvazzdwrv4riyqhkku

by Aws Albarghouthi, Justin Hsu

Published in Lecture Notes in Computer Science by Springer International Publishing.

2018   p327-346

Archived Files and Locations

application/pdf  649.1 kB
file_zcknamlhczd55agv3jfkqldovm
web.archive.org (webarchive)
link.springer.com (publisher)
Read Archived PDF
Preserved and Accessible
Type  chapter
Stage   published
Year   2018
Container Metadata
Not in DOAJ
Not in Keepers Registry
ISSN-L:  0302-9743
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 8b5173bf-322a-47ab-9137-1b845d91d78e
API URL: JSON