Verified Software - Theories, Tools, Experiments: 4th International Conference : Proceedings

Metadata only

Date

2012

Type

Conference Proceedings

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

Editor

Journal / series

Lecture Notes in Computer Science

Volume

7152

Publisher

Springer

Event

4th International Conference on Verified Software: Theories, Tools, Experiments, Philadelphia, PA, USA, January 28-29, 2012

Organisational unit

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

More

ETH Bibliography

yes

Altmetrics

Research Collection