The Second International Conference on Tests and Proofs
The TAP conference is devoted to the convergence of proofs and tests. It combines ideas from both sides for the advancement of software quality. To […]
The TAP conference is devoted to the convergence of proofs and tests. It combines ideas from both sides for the advancement of software quality. To […]