On Verifying Distributed Multithreaded Java Programs

Jessica Chen. On Verifying Distributed Multithreaded Java Programs. Software Quality Journal, 8(4):321-341, 1999.

Possibly Related Publications

The following publications are possibly variants of this publication: