An automatic encoding from VerifFast Predicates into Implicit Dynamic Frames

Metadata only

Author

Date

2013

Type

Conference Paper

ETH Bibliography

yes

Altmetrics

Publication status

published

Editor

Book title

Verified Software: Theories, Tools and Experiments (VSTTE)

Journal / series

Lecture Notes in Computer Science

Volume

8164

Pages / Article No.

202 - 221

Publisher

Springer

Event

5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013

Organisational unit

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

More

ETH Bibliography

yes

Altmetrics

Research Collection