The Theory and Practice of SALT.

Andreas Bauer Martin Leucker

Published in: NASA Formal Methods (2011)

Keyphrases

theoretical insights
theoretical basis
database
data structure
theoretical framework
artificial intelligence
image processing
similarity measure
expert systems
information technology
trade off
general theory