Show simple item record

dc.contributor.author
Jost, Daniel
dc.contributor.author
Summers, Alexander J.
dc.contributor.editor
Cohen, E.
dc.contributor.editor
Rybalchenko, A.
dc.date.accessioned
2017-06-11T02:56:26Z
dc.date.available
2017-06-11T02:56:26Z
dc.date.issued
2013
dc.identifier.isbn
978-3-642-54107-0
dc.identifier.issn
0302-9743
dc.identifier.issn
1611-3349
dc.identifier.uri
http://hdl.handle.net/20.500.11850/77976
dc.language.iso
en
dc.publisher
Springer
dc.title
An automatic encoding from VerifFast Predicates into Implicit Dynamic Frames
dc.type
Conference Paper
ethz.book.title
Verified Software: Theories, Tools and Experiments (VSTTE)
ethz.journal.title
Lecture Notes in Computer Science
ethz.journal.volume
8164
ethz.journal.abbreviated
LNCS
ethz.pages.start
202
ethz.pages.end
221
ethz.event
5th International Conference, VSTTE 2013
ethz.event.location
Menlo Park, CA, USA
ethz.event.date
May 17-19, 2013
ethz.identifier.nebis
007342601
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-11T02:59:03Z
ethz.source
ECIT
ethz.identifier.importid
imp5936517384e7b63225
ethz.ecitpid
pub:122889
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-18T17:21:04Z
ethz.rosetta.lastUpdated
2021-02-14T11:10:54Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=An%20automatic%20encoding%20from%20VerifFast%20Predicates%20into%20Implicit%20Dynamic%20Frames&rft.jtitle=Lecture%20Notes%20in%20Computer%20Science&rft.date=2013&rft.volume=8164&rft.spage=202&rft.epage=221&rft.issn=0302-9743&1611-3349&rft.au=Jost,%20Daniel&Summers,%20Alexander%20J.&rft.isbn=978-3-642-54107-0&rft.genre=proceeding&rft.btitle=Verified%20Software:%20Theories,%20Tools%20and%20Experiments%20(VSTTE)
 Search print copy at ETH Library

Files in this item

FilesSizeFormatOpen in viewer

There are no files associated with this item.

Publication type

Show simple item record