Sign in

Handling Unbounded Loops with ESBMC 1.20 - (Competition Contribution).

Jeremy MorseLucas C. CordeiroDenis A. NicoleBernd Fischer
Published in: TACAS (2013)
Keyphrases
  • cooperative
  • pattern recognition
  • multiscale
  • pairwise
  • user interface