Improving the TCPA Specification.

William A. Arbaugh

Published in: Computer (2002)

Keyphrases

high level
decision trees
specification language
databases
data structure
trade off
formal methods
provably correct