Login / Signup
System Description: Embedding Verification into Microsoft Excel.
Graham Collins
Louise A. Dennis
Published in:
CADE (2000)
Keyphrases
</>
microsoft excel
microsoft word
microsoft office
step by step instructions
high level
machine learning
model checking
vector space
smart card
nonlinear dimensionality reduction
formal verification
formal methods
data hiding
database
low dimensional
database systems
information retrieval
data sets