Применение формальных методов для тестирования реализации IPv6. by Г.В. Ключников, А. С. Косачев, Н.В. Пакулин, А. К. Петренко, В.З. Шнитман

Get full text