DMCA

Model-Checking Multi-Threaded Distributed Java Programs (2000)

by Scott D. Stoller
Venue:International Journal on Software Tools for Technology Transfer
Citations:114 - 6 self