Show simple item record

dc.contributor.author
Ferrara, Pietro
dc.contributor.author
Müller, Peter
dc.contributor.author
Novacek, Milos
dc.date.accessioned
2017-06-11T14:26:10Z
dc.date.available
2017-06-11T14:26:10Z
dc.date.issued
2015
dc.identifier.isbn
978-3-662-46080-1
dc.identifier.isbn
978-3-662-46081-8
dc.identifier.issn
0302-9743
dc.identifier.issn
1611-3349
dc.identifier.other
10.1007/978-3-662-46081-8_22
dc.identifier.uri
http://hdl.handle.net/20.500.11850/94059
dc.language.iso
en
dc.publisher
Springer
dc.title
Automatic inference of heap properties exploiting value domains
dc.type
Conference Paper
ethz.book.title
Verification, Model Checking, and Abstract Interpretation : 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings
ethz.journal.title
Lecture Notes in Computer Science
ethz.journal.volume
8931
ethz.journal.abbreviated
LNCS
ethz.pages.start
393
ethz.pages.end
411
ethz.event
16th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)
ethz.event.location
Mumbai, India
ethz.event.date
January 12-14, 2015
ethz.notes
.
ethz.identifier.wos
ethz.identifier.scopus
ethz.identifier.nebis
010392797
ethz.publication.place
Berlin
ethz.publication.status
published
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02664 - Inst. f. Programmiersprachen u. -systeme / Inst. Programming Languages and Systems::03653 - Müller, Peter / Müller, Peter
ethz.leitzahl.certified
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02664 - Inst. f. Programmiersprachen u. -systeme / Inst. Programming Languages and Systems::03653 - Müller, Peter / Müller, Peter
ethz.date.deposited
2017-06-11T14:26:15Z
ethz.source
ECIT
ethz.identifier.importid
imp593652a4b118588754
ethz.ecitpid
pub:147912
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-14T15:26:19Z
ethz.rosetta.lastUpdated
2018-11-02T17:12:49Z
ethz.rosetta.exportRequired
true
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Automatic%20inference%20of%20heap%20properties%20exploiting%20value%20domains&rft.jtitle=Lecture%20Notes%20in%20Computer%20Science&rft.date=2015&rft.volume=8931&rft.spage=393&rft.epage=411&rft.issn=0302-9743&1611-3349&rft.au=Ferrara,%20Pietro&M%C3%BCller,%20Peter&Novacek,%20Milos&rft.isbn=978-3-662-46080-1&978-3-662-46081-8&rft.genre=proceeding&rft_id=info:doi/978-3-662-46080-1&info:doi/978-3-662-46081-8&rft.btitle=Verification,%20Model%20Checking,%20and%20Abstract%20Interpretation%20:%2016th%20International%20Conference,%20VMCAI%202015,%20Mumbai,%20India,%20January%2012-14,%202015
 Search via SFX

Files in this item

FilesSizeFormatOpen in viewer

There are no files associated with this item.

Publication type

Show simple item record