Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques

Metadata only

Author

Date

2011

Type

Conference Paper

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

Editor

Book title

Software Engineering and Formal Methods : 9th International Conference, Proceedings

Journal / series

Lecture Notes in Computer Science

Volume

7041

Pages / Article No.

382 - 398

Publisher

Springer

Event

9th international conference on Software engineering and formal methods (SEFM 2011), Montevideo, Uruguay, November 14-18, 2011

Organisational unit

03594 - Meyer, Bertrand (emeritus)

More

ETH Bibliography

yes

Altmetrics

Research Collection