Testing can be formal, too (1995)

by Marie-Claude Gaudel
Venue:Proceedings of the 6th International Joint CAAP/FASE Conference on Theory and Practice of Software Development (TAPSOFT