Show simple item record

dc.contributor.author
Boehme, Sascha
dc.contributor.author
Leino, K. Rustan M.
dc.contributor.author
Wolff, Burkhart
dc.contributor.editor
Mohamed, Otmane Ait
dc.contributor.editor
Munoz, C.
dc.contributor.editor
Tahar, S.
dc.date.accessioned
2017-06-08T20:12:27Z
dc.date.available
2017-06-08T20:12:27Z
dc.date.issued
2008
dc.identifier.isbn
978-3-540-71065-3
dc.identifier.isbn
978-3-540-71067-7
dc.identifier.issn
0302-9743
dc.identifier.issn
1611-3349
dc.identifier.other
10.1007/978-3-540-71067-7_15
dc.identifier.uri
http://hdl.handle.net/20.500.11850/11265
dc.language.iso
en
dc.publisher
Springer
dc.title
HOL-Boogie — An Interactive Prover for the Boogie Program-Verifier
dc.type
Conference Paper
ethz.book.title
Theorem proving in higher order logics : 21st international conference : proceedings / TPHOLs 2008, Montreal, Canada, August 18-21, 2008
ethz.journal.title
Lecture Notes in Computer Science
ethz.journal.volume
5170
ethz.journal.abbreviated
LNCS
ethz.pages.start
150
ethz.pages.end
166
ethz.event
21st International Conference on Theorem Proving in Higher Order Logics
ethz.event.location
Montreal, Canada
ethz.event.date
August 18-21, 2008
ethz.notes
.
ethz.identifier.nebis
005710674
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::02660 - Institut für Informationssicherheit::03634 - Basin, David / Basin, David
ethz.leitzahl.certified
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02660 - Institut für Informationssicherheit::03634 - Basin, David / Basin, David
ethz.date.deposited
2017-06-08T20:12:40Z
ethz.source
ECIT
ethz.identifier.importid
imp59364c006a27041440
ethz.ecitpid
pub:22404
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-13T00:24:55Z
ethz.rosetta.lastUpdated
2018-10-01T06:05:06Z
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=HOL-Boogie%20%E2%80%94%20An%20Interactive%20Prover%20for%20the%20Boogie%20Program-Verifier&rft.jtitle=Lecture%20Notes%20in%20Computer%20Science&rft.date=2008&rft.volume=5170&rft.spage=150&rft.epage=166&rft.issn=0302-9743&1611-3349&rft.au=Boehme,%20Sascha&Leino,%20K.%20Rustan%20M.&Wolff,%20Burkhart&rft.isbn=978-3-540-71065-3&978-3-540-71067-7&rft.genre=proceeding&rft_id=info:doi/978-3-540-71065-3&info:doi/978-3-540-71067-7&rft.btitle=Theorem%20proving%20in%20higher%20order%20logics%20:%2021st%20international%20conference%20:%20proceedings%20/%20TPHOLs%202008,%20Montreal,%20Canada,%20August%2018-21,%2
 Search via SFX

Files in this item

FilesSizeFormatOpen in viewer

There are no files associated with this item.

Publication type

Show simple item record