A Tool-Supported Proof System for Multithreaded Java.

Erika Ábrahám Frank S. de Boer Willem P. de Roever Martin Steffen

Published in: FMCO (2002)

Keyphrases

user friendly
source code
neural network
lightweight
multi user
multithreading
database
case study
object oriented
web applications
software tools