A Perspective on Program Verification.

Willem-Paul de Roever

Published in: VSTTE (2005)

Keyphrases

viewpoint
multimedia
artificial neural networks
artificial intelligence
computer vision
web services
natural language
probability distribution
medical images