Invariant and Type Inference for Matrices
dc.contributor.author
Henzinger, Thomas A.
dc.contributor.author
Hottelier, Thibaud
dc.contributor.author
Kovács, Laura
dc.contributor.author
Voronkov, Andrei
dc.contributor.editor
Barthe, Gilles
dc.contributor.editor
Hermenegildo, Manuel
dc.date.accessioned
2017-06-08T23:50:21Z
dc.date.available
2017-06-08T23:50:21Z
dc.date.issued
2010
dc.identifier.isbn
978-3-642-11318-5
dc.identifier.isbn
978-3-642-11319-2
dc.identifier.issn
0302-9743
dc.identifier.issn
1611-3349
dc.identifier.other
10.1007/978-3-642-11319-2_14
dc.identifier.uri
http://hdl.handle.net/20.500.11850/20204
dc.language.iso
en
dc.publisher
Springer
dc.title
Invariant and Type Inference for Matrices
dc.type
Conference Paper
ethz.book.title
Verification, model checking, and abstract interpretation : 11th international conference : proceedings
ethz.journal.title
Lecture Notes in Computer Science
ethz.journal.volume
5944
ethz.journal.abbreviated
LNCS
ethz.pages.start
163
ethz.pages.end
179
ethz.event
11th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2010)
ethz.event.date
January 17-19, 2010
ethz.identifier.nebis
005986397
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-08T23:50:43Z
ethz.source
ECIT
ethz.identifier.importid
imp59364cb43a5f768782
ethz.ecitpid
pub:32650
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-18T07:36:02Z
ethz.rosetta.lastUpdated
2021-02-14T06:16:19Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Invariant%20and%20Type%20Inference%20for%20Matrices&rft.jtitle=Lecture%20Notes%20in%20Computer%20Science&rft.date=2010&rft.volume=5944&rft.spage=163&rft.epage=179&rft.issn=0302-9743&1611-3349&rft.au=Henzinger,%20Thomas%20A.&Hottelier,%20Thibaud&Kov%C3%A1cs,%20Laura&Voronkov,%20Andrei&rft.isbn=978-3-642-11318-5&978-3-642-11319-2&rft.genre=proceeding&rft_id=info:doi/10.1007/978-3-642-11319-2_14&rft.btitle=Verification,%20model%20checking,%20and%20abstract%20interpretation%20:%2011th%20international%20conference%20:%20proceedings
Files in this item
| Files | Size | Format | Open in viewer |
|---|---|---|---|
|
There are no files associated with this item. |
|||
Publication type
-
Conference Paper [33139]