Login / Signup

Counter-Example Guided Program Verification.

Parosh Aziz AbdullaMohamed Faouzi AtigBui Phi Diep
Published in: FM (2016)
Keyphrases
  • case study
  • object recognition
  • real time
  • computer vision