Using stereotypes to verify complex heap structures in regional logic
dc.contributor.author
Rudich, Arsenii
dc.contributor.author
Müller, Peter
dc.date.accessioned
2017-06-10T22:44:07Z
dc.date.available
2017-06-10T22:44:07Z
dc.date.issued
2009
dc.identifier.uri
http://hdl.handle.net/20.500.11850/73217
dc.language.iso
en
dc.publisher
ETH Zürich
dc.title
Using stereotypes to verify complex heap structures in regional logic
dc.type
Report
ethz.journal.title
ETH Technical Report
ethz.size
23 p.
ethz.publication.place
Zürich
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-10T22:45:39Z
ethz.source
ECIT
ethz.identifier.importid
imp593651176340c95252
ethz.ecitpid
pub:115977
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-12T16:35:54Z
ethz.rosetta.lastUpdated
2018-11-02T11:04:00Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Using%20stereotypes%20to%20verify%20complex%20heap%20structures%20in%20regional%20logic&rft.jtitle=ETH%20Technical%20Report&rft.date=2009&rft.au=Rudich,%20Arsenii&M%C3%BCller,%20Peter&rft.genre=report&
Files in this item
| Files | Size | Format | Open in viewer |
|---|---|---|---|
|
There are no files associated with this item. |
|||
Publication type
-
Report [6581]