Treffer: On Verifying Distributed Multithreaded Java Programs
Title:
On Verifying Distributed Multithreaded Java Programs
Authors:
Source:
Software Quality Journal. December 1999 8(4):321-341
Database:
Springer Nature Journals