Formal Techniques for Java Programs.

Gary T. Leavens Sophia Drossopoulou Susan Eisenbach Arnd Poetzsch-Heffter Erik Poll

Published in: ECOOP Workshops (2001)

Keyphrases

java programs
multi threaded
software components
java language
java virtual machine
formal methods
multi core processors
social networks
case study
general purpose
building blocks
test suite