ВЕРИФИКАЦИЯ СВОЙСТВ ИНТЕЛЛЕКТУАЛЬНЫХ ИНТЕРФЕЙСОВ В ЛОГИКЕ ТАЙЛОВ - ДЕВЯТКОВ В.В. (Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования «Московский государственный технический университет имени Н.Э.Баумана», 2016)