Mechanised support for sound refinement tactics.

Frank Zeyda Marcel Oliveira Ana Cavalcanti

Published in: Formal Aspects Comput. (2012)

Keyphrases

information retrieval
decision support
real time
real world
information systems
high level
data structure
multiresolution
end users