The First Thirty Years: Experience with Software Verification.

Michael A. Hennell

Published in: TAP (2008)

Keyphrases

social networks
information systems
decision trees
trade off
learning curve
data sets
databases
search engine
video sequences
communication skills