Measuring the software process: statistical process control for software process … by Florac, William A., Carleton, Anita D. fromSEI series in software engineering 0 Type: Book
Systems and software verification: model-checking techniques and tools by Bérard, Béatrice 0 Type: Book
Testing computer software by Kaner, Cem, Falk, Jack L., Nguyen, Hung Quoc fromWiley computer publishing 0 Type: Book
Concurrency verification: introduction to compositional and noncompositiona… by Roever, Willem-Paul de fromCambridge tracts in theoretical computer science 0 Type: Book
