Login / Signup

An Automatic Encoding from VeriFast Predicates into Implicit Dynamic Frames.

Daniel JostAlexander J. Summers
Published in: VSTTE (2013)
Keyphrases
  • website
  • multiresolution
  • semi automatic
  • databases
  • image sequences
  • user defined