An automatic encoding from VerifFast Predicates into Implicit Dynamic Frames

Thumbnail
Metadata only
Author
Jost, Danielcc
Summers, Alexander J.
Date
2013
Type
  • Conference Paper
Publication status
published
External links
Search via SFX
Editor
Cohen, E.
Rybalchenko, A.
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  
Notes
.
More
Show all metadata
ETH Bibliography
yes
Altmetrics