A Program Refinement Framework Supporting Reasoning about Knowledge and Time.

Kai Engelhardt Ron van der Meyden Yoram Moses

Published in: FoSSaCS (2000)

Keyphrases

main contribution
data sets
theoretical framework
lightweight
databases
artificial intelligence
image processing
three dimensional
multi agent
key features