1
Published 2007
Table of Contents: ... -- An Integrated Regression Testing Framework to Multi-Threaded Java Programs -- DynAlloy as a Formal Method...
View full text
Electronic eBook