Special issue: formal techniques for Java programs.

Susan Eisenbach Gary T. Leavens

Published in: Concurr. Comput. Pract. Exp. (2001)

Keyphrases

special issue
java programs
multi threaded
software components
ai edam
ecml pkdd
international journal
java language
applied intelligence
java virtual machine
data mining
operating system
building blocks
data processing
software development
computational intelligence
high level
artificial intelligence