Infer: An Automatic Program Verifier for Memory Safety of C Programs release_yssdnsh65rgbrh4ak7pne25kba

by Cristiano Calcagno, Dino Distefano

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

2011   p459-465

Archived Files and Locations

application/pdf  408.7 kB
file_jcvan5vvcrcmhoiwpgpuezgy3q
www.eecs.qmul.ac.uk:80 (web)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  chapter
Stage   published
Year   2011
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: 0eba805b-9c21-467b-9240-b0caf8f7032b
API URL: JSON