Login / Signup
Verifying Component-Based Software: Deep Mathematics or Simple Bookkeeping?
Jason Kirschenbaum
Bruce M. Adcock
Derek Bronish
Hampton Smith
Heather K. Harton
Murali Sitaraman
Bruce W. Weide
Published in:
ICSR (2009)
Keyphrases
</>
information systems
real time
computer vision
knowledge base
high level
image sequences
search algorithm