Shape Analysis of Low-Level C with Overlapping Structures release_yx7xudehave5xhc72x4ivsinty

by Jörg Kreiker, Helmut Seidl, Vesal Vojdani

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

2010   p214-230

Archived Files and Locations

application/pdf  194.0 kB
file_ektsfcrfn5glzmd2byxcce6cp4
web.archive.org (webarchive)
www2.in.tum.de (web)
www2.in.tum.de (web)
web.archive.org (webarchive)
www.rw.cdl.uni-saarland.de (web)
+ 1 more URLs
Read Archived PDF
Preserved and Accessible
Type  chapter
Stage   published
Year   2010
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: 4d5f6ad5-dba4-4704-9166-8127ef34a168
API URL: JSON