Show simple item record

dc.contributor.author
Rustan, K.
dc.contributor.author
Leino, M.
dc.contributor.author
Müller, Peter
dc.contributor.author
Wallenburg, Angela
dc.contributor.editor
Shankar, Natarajan
dc.contributor.editor
Woodcock, J.
dc.date.accessioned
2017-06-08T21:03:01Z
dc.date.available
2017-06-08T21:03:01Z
dc.date.issued
2008
dc.identifier.isbn
978-3-540-87872-8
dc.identifier.issn
0302-9743
dc.identifier.issn
1611-3349
dc.identifier.other
10.1007/978-3-540-87873-5_17
dc.identifier.uri
http://hdl.handle.net/20.500.11850/13584
dc.language.iso
en
dc.publisher
Springer
dc.title
Flexible immutability with frozen objects
dc.type
Conference Paper
ethz.book.title
Verified software
ethz.journal.title
Lecture Notes in Computer Science
ethz.journal.volume
5295
ethz.journal.abbreviated
LNCS
ethz.pages.start
192
ethz.pages.end
208
ethz.event
2nd Working Conference on Verified Software - Theories, Tools and Experiments (VSTTE 2008)
ethz.event.date
October 6-9, 2008
ethz.notes
SpringerLink Date Freitag 26. September 2008.
ethz.identifier.nebis
005711453
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
imp59364c2dbb0b874626
ethz.ecitpid
pub:25042
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-12T12:00:40Z
ethz.rosetta.lastUpdated
2018-10-01T06:42:31Z
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=Flexible%20immutability%20with%20frozen%20objects&rft.jtitle=Lecture%20Notes%20in%20Computer%20Science&rft.date=2008&rft.volume=5295&rft.spage=192&rft.epage=208&rft.issn=0302-9743&1611-3349&rft.au=Rustan,%20K.&Leino,%20M.&M%C3%BCller,%20Peter&Wallenburg,%20Angela&rft.isbn=978-3-540-87872-8&rft.genre=proceeding&rft_id=info:doi/978-3-540-87872-8&rft.btitle=Verified%20software
 Search via SFX

Files in this item

FilesSizeFormatOpen in viewer

There are no files associated with this item.

Publication type

Show simple item record