TY - BOOK AU - Бахтизин, В.В. AU - Иыуду, К.А. AU - Савкин, В.В. TI - Методы тестирования и верификации программ PY - 1984/// CY - М. PB - Машиностроение N2 - Библиогр.: с. 60 (13 назв.) ER -