Viper: A Verification Infrastructure for Permission-Based Reasoning
dc.contributor.author
Müller, Peter
dc.contributor.author
Schwerhoff, Malte
dc.contributor.author
Summers, Alexander J.
dc.date.accessioned
2017-06-12T00:42:56Z
dc.date.available
2017-06-12T00:42:56Z
dc.date.issued
2016
dc.identifier.isbn
978-3-662-49121-8
dc.identifier.isbn
978-3-662-49122-5
dc.identifier.issn
0302-9743
dc.identifier.issn
1611-3349
dc.identifier.other
10.1007/978-3-662-49122-5_2
dc.identifier.uri
http://hdl.handle.net/20.500.11850/112868
dc.language.iso
en
dc.publisher
Springer
dc.title
Viper: A Verification Infrastructure for Permission-Based Reasoning
dc.type
Conference Paper
ethz.book.title
Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
ethz.journal.title
Lecture Notes in Computer Science
ethz.journal.volume
9583
ethz.journal.abbreviated
LNCS
ethz.pages.start
41
ethz.pages.end
62
ethz.event
17th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2016
ethz.event.location
St. Petersburg, FL, USA
ethz.event.date
January 17-19, 2016
ethz.identifier.wos
ethz.identifier.scopus
ethz.identifier.nebis
010609964
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-12T00:48:06Z
ethz.source
ECIT
ethz.identifier.importid
imp5936541be2ab747102
ethz.ecitpid
pub:174481
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-12T23:27:55Z
ethz.rosetta.lastUpdated
2024-02-01T23:50:35Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Viper:%20A%20Verification%20Infrastructure%20for%20Permission-Based%20Reasoning&rft.jtitle=Lecture%20Notes%20in%20Computer%20Science&rft.date=2016&rft.volume=9583&rft.spage=41&rft.epage=62&rft.issn=0302-9743&1611-3349&rft.au=M%C3%BCller,%20Peter&Schwerhoff,%20Malte&Summers,%20Alexander%20J.&rft.isbn=978-3-662-49121-8&978-3-662-49122-5&rft.genre=proceeding&rft_id=info:doi/10.1007/978-3-662-49122-5_2&rft.btitle=Verification,%20Model%20Checking,%20and%20Abstract%20Interpretation:%2017th%20International%20Conference,%20VMCAI%202016,%20St.%20Petersburg,%20FL,%20USA,%20January%2017
Dateien zu diesem Eintrag
| Dateien | Größe | Format | Im Viewer öffnen |
|---|---|---|---|
|
Zu diesem Eintrag gibt es keine Dateien. |
|||
Publikationstyp
-
Conference Paper [34969]