A Generalised Spreadsheet Verification Methodology.

Nick Randolph John Morris Gareth Lee

Published in: ACSC (2002)

Keyphrases

conceptual framework
artificial intelligence
model checking
microsoft excel
real time
data mining
database systems
multiscale
design methodology
formal analysis
concurrent systems