Reasoning about Loops in Total and General Correctness.

Steve Dunne Ian J. Hayes Andy Galloway

Published in: UTP (2008)

Keyphrases

special case
closely related
data sets
databases
face recognition
provably correct
database
information systems
knowledge base
multiscale
information technology
trade off
multiresolution
medical images