ISS seminar disaini verifitseerimisest ja testimise automatiseerimisest
Tammemäe, Kalle
Arvutustehnika ja Andmetöötlus
1997
/
7/8, lk. 47-52