Константин Чухарев - От SAT к SMT: новый рубеж в решении задач и формальной верификации

Length 01:09:16 • 78 Views • 1 week ago
Share

Video Terkait