Testing can be formal, too (1995)

by M C Gaudel
Venue:Proc. TAPSOFT'95, LNCS 915