Login / Signup

Correct by construction.

M. H. van Emden

Published in: CoRR (2018)

Keyphrases

real time
high level
database
multimedia
case study
end users
medical images
construction process