Telecharger Cours

JAHRGANG 5 (1995) NR. 2

Work in the area of specification-based testing has pointed out that testing can be effectively used to verify programs against formal specifications.



Download