Login / Signup
Counter-Example Guided Program Verification.
Parosh Aziz Abdulla
Mohamed Faouzi Atig
Bui Phi Diep
Published in:
FM (2016)
Keyphrases
</>
case study
object recognition
real time
computer vision