Verified Self-Explaining Computation release_s7jzuudwjzfvllvk26esso3b6y

by Jan Stolarek, James Cheney

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

2019   p76-102

Archived Files and Locations

application/pdf  1.3 MB
file_5jof27tndvd77jkthq5jvtabke
www.research.ed.ac.uk (web)
web.archive.org (webarchive)
application/pdf  1.3 MB
file_2zmcqcrvevba5acfvdob25uuqq
www.pure.ed.ac.uk (web)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  chapter
Stage   published
Year   2019
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: c7c97451-9e98-42e7-a4d0-48d371a2be58
API URL: JSON