Testing and Proving‚ Hand−in−Hand
Tony Hoare
Book Title
Testing − Practice and Research Techniques‚ 5th International Academic and Industrial Conference‚ TAIC PART 2010‚ Windsor‚ UK‚ September 3−5‚ 2010. Proceedings
Editor
Leonardo Bottaci and Gordon Fraser
Pages
5−6
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
6303
Year
2010