Invariant and Type Inference for Matrices

Metadata only

Autor(in)

Datum

2010

Typ

Conference Paper

ETH Bibliographie

yes

Altmetrics

Publikationsstatus

published

Externe Links

Herausgeber(in)

Buchtitel

Verification, model checking, and abstract interpretation : 11th international conference : proceedings

Zeitschrift / Serie

Lecture Notes in Computer Science

Band

5944

Seiten / Artikelnummer

163 - 179

Verlag

Springer

Konferenz

11th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2010), January 17-19, 2010

Organisationseinheit

03653 - Müller, Peter / Müller, Peter

Mehr

ETH Bibliographie

yes

Altmetrics

Research Collection