BibTeX
CSL-JSON
MLA
Harvard
Precise analysis of memory consumption using program logics
release_gp4kg64fefh7pag7awcdsvbxtq
by
G. Barthe, M. Pavlova, G. Schneider
Published
in IEEE International Conference on Software Engineering and Formal Methods by IEEE.
2005 p86-95
Archived Files and Locations
application/pdf 182.9 kB
file_dlmtcgulhjcytkhazlwyrzgvse
|
web.archive.org (webarchive) www.cse.chalmers.se (web) web.archive.org (webarchive) web.archive.org (webarchive) web.archive.org (webarchive) + 3 more URLs |
application/pdf 129.9 kB
file_hu4gtgcg55cozeawqy3j2qwwi4
|
www-sop.inria.fr (web) www-sop.inria.fr (web) web.archive.org (webarchive) web.archive.org (webarchive) |
Read Archived PDF
Preserved and Accessible
Type
Stage
Year 2005
paper-conference
Stage
published
Year 2005
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
access all versions, variants, and formats of this works (eg, pre-prints)
Cite This
Lookup Links
oaDOI/unpaywall (OA fulltext)
Crossref Metadata (via API)
Worldcat
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar
Crossref Metadata (via API)
Worldcat
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar