Formal Techniques for Java Programs.

Bart Jacobs Gary T. Leavens Peter Müller Arnd Poetzsch-Heffter

Published in: ECOOP Workshops (1999)

Keyphrases

java programs
multi threaded
java language
software components
real time
test case generation
artificial intelligence
case study
low cost