Constitutes the thoroughly refereed post-proceedings of the First International Conference on Test and Proofs, TAP 2007, ...
Lee masThis book covers the area of convergence of software proofing and testing and feature current research work that combines ...
Lee mas