Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions release_tqhn6lp4nzejvn4bhzsjkv2wli

by Stefan Heule, Ioannis T. Kassios, Peter Müller, Alexander J. Summers

Published in Lecture Notes in Computer Science by Springer Berlin Heidelberg.

2013   p451-476

Archived Files and Locations

application/pdf  339.7 kB
file_ne3nagkbe5bablnoo3n5cs5c5m
pm.inf.ethz.ch (web)
web.archive.org (webarchive)
application/pdf  514.7 kB
file_xnybn3ebprgshepgj547it6vau
web.archive.org (webarchive)
stefanheule.com (web)
Read Archived PDF
Preserved and Accessible
Type  chapter
Stage   published
Year   2013
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: 65e71e93-ab8b-4a8b-9b4e-10a5521cf91e
API URL: JSON