Testing can be formal, too (1995)

by M-C Gaudel
Venue:TAPSO FT’95: Theory and Practice of Software Develop ment