The Program Verifier Tatzelwurm.

Published in: STACS (1993)

Keyphrases

computer programs
information retrieval
real time
program execution
database
databases
computer vision
information systems
case study
multi agent
information technology
mobile robot
control program