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

Metadata only

Datum

2012

Typ

Conference Proceedings

ETH Bibliographie

yes

Altmetrics

Publikationsstatus

published

Externe Links

Herausgeber(in)

Zeitschrift / Serie

Lecture Notes in Computer Science

Band

7152

Verlag

Springer

Konferenz

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

Organisationseinheit

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

Mehr

ETH Bibliographie

yes

Altmetrics

Research Collection