Proving Implementations Correct - Two Alternative Approaches.

Hans-Dieter Ehrich Udo W. Lipeck

Published in: IFIP Congress (1980)

Keyphrases

alternative approaches
efficient implementation
data structure
image retrieval
information systems
three dimensional
pattern recognition
mobile robot