Where Is the Value in a Program Verifier?.

Colin O'Halloran

Published in: VSTTE (2005)

Keyphrases

computer programs
neural network
genetic algorithm
information systems
website
clustering algorithm
case study
video sequences
lower bound
hidden markov models