A Refinement Method for Java Programs.

Holger Grandy Kurt Stenzel Wolfgang Reif

Published in: FMOODS (2007)

Keyphrases

error rate
artificial intelligence
multi agent
object oriented
programming language
low cost
distributed systems
data processing
java programs