Show simple item record

dc.contributor.author
van Staden, Stephan
dc.contributor.author
Calcagno, Cristiano
dc.contributor.author
Meyer, Bertrand
dc.date.accessioned
2017-06-09T18:36:32Z
dc.date.available
2017-06-09T18:36:32Z
dc.date.issued
2012-01
dc.identifier.issn
1523-2867
dc.identifier.issn
1558-1160
dc.identifier.issn
0362-1340
dc.identifier.other
10.1145/2103621.2103661
dc.identifier.uri
http://hdl.handle.net/20.500.11850/44696
dc.language.iso
en
dc.publisher
Association for Computing Machinery
dc.subject
Formal Systems
dc.subject
Proof Theory
dc.subject
Refinement
dc.title
Freefinement
dc.type
Conference Paper
ethz.journal.title
ACM SIGPLAN Notices
ethz.journal.volume
47
ethz.journal.issue
1
ethz.journal.abbreviated
ACM SIGPLAN not.
ethz.pages.start
7
ethz.pages.end
18
ethz.event
POPL’12
ethz.event.location
Philadelphia, PA, USA
ethz.event.date
January 25–27, 2012
ethz.notes
.
ethz.identifier.wos
ethz.identifier.nebis
002073956
ethz.publication.place
New York
ethz.publication.status
published
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, 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-09T18:36:43Z
ethz.source
ECIT
ethz.identifier.importid
imp59364eded0c5681359
ethz.ecitpid
pub:73655
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-14T18:34:58Z
ethz.rosetta.lastUpdated
2019-02-02T05:40:54Z
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=Freefinement&rft.jtitle=ACM%20SIGPLAN%20Notices&rft.date=2012-01&rft.volume=47&rft.issue=1&rft.spage=7&rft.epage=18&rft.issn=1523-2867&1558-1160&0362-1340&rft.au=van%20Staden,%20Stephan&Calcagno,%20Cristiano&Meyer,%20Bertrand&rft.genre=proceeding&
 Search via SFX

Files in this item

FilesSizeFormatOpen in viewer

There are no files associated with this item.

Publication type

Show simple item record