Verification of Equivalent-Results Methods
dc.contributor.author
Leino, K. Rustan M.
dc.contributor.author
Müller, Peter
dc.contributor.editor
Drossopoulou, Sophia
dc.date.accessioned
2017-06-08T21:03:03Z
dc.date.available
2017-06-08T21:03:03Z
dc.date.issued
2008
dc.identifier.isbn
978-3-540-78738-9
dc.identifier.issn
0302-9743
dc.identifier.issn
1611-3349
dc.identifier.other
10.1007/978-3-540-78739-6_24
dc.identifier.uri
http://hdl.handle.net/20.500.11850/13592
dc.language.iso
en
dc.publisher
Springer
dc.title
Verification of Equivalent-Results Methods
dc.type
Conference Paper
ethz.book.title
Programming languages and systems : 17th European Symposium on Programming : proceedings / ESOP 2008 held as part of the Joint European Conferences on Theory and Practice of
Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008
ethz.journal.title
Lecture Notes in Computer Science
ethz.journal.volume
4960
ethz.journal.abbreviated
LNCS
ethz.pages.start
307
ethz.pages.end
321
ethz.event
17th European Symposium on Programming (ESOP 2008)
ethz.event.location
Budapest, Hungary
ethz.event.date
March 29 - April 6, 2008
ethz.identifier.nebis
005626282
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
ETH Zürich::00002 - ETH Zürich, direkt::00012 - Lehre und Forschung, direkt::00007 - Departemente, direkt::02150 - Departement Informatik / Department of Computer Science::03594 - Meyer, Bertrand (emeritus)
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.leitzahl.certified
ETH Zürich::00002 - ETH Zürich, direkt::00012 - Lehre und Forschung, direkt::00007 - Departemente, direkt::02150 - Departement Informatik / Department of Computer Science::03594 - Meyer, Bertrand (emeritus)
ethz.date.deposited
2017-06-08T21:03:10Z
ethz.source
ECIT
ethz.identifier.importid
imp59364c2dded4671818
ethz.ecitpid
pub:25052
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-18T08:59:08Z
ethz.rosetta.lastUpdated
2024-02-01T15:18:22Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Verification%20of%20Equivalent-Results%20Methods&rft.jtitle=Lecture%20Notes%20in%20Computer%20Science&rft.date=2008&rft.volume=4960&rft.spage=307&rft.epage=321&rft.issn=0302-9743&1611-3349&rft.au=Leino,%20K.%20Rustan%20M.&M%C3%BCller,%20Peter&rft.isbn=978-3-540-78738-9&rft.genre=proceeding&rft_id=info:doi/10.1007/978-3-540-78739-6_24&rft.btitle=Programming%20languages%20and%20systems%20:%2017th%20European%20Symposium%20on%20Programming%20:%20proceedings%20/%20ESOP%202008%20held%20as%20part%20of%20the%20Joint%20
Files in this item
| Files | Size | Format | Open in viewer |
|---|---|---|---|
|
There are no files associated with this item. |
|||
Publication type
-
Conference Paper [34961]