Invariant and Type Inference for Matrices

Metadata only

Author

Date

2010

Type

Conference Paper

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

Editor

Book title

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

Journal / series

Lecture Notes in Computer Science

Volume

5944

Pages / Article No.

163 - 179

Publisher

Springer

Event

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

Organisational unit

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

More

ETH Bibliography

yes

Altmetrics

Research Collection