APA Цитирование

Чушкин, М. С. Завершение эскизов предикатных программ методом синтеза через контрпримеры. Прикладная дискретная математика. Приложение, 2017, .

Chicago-стиль цитирования

Чушкин, Михаил Сергеевич. "Завершение эскизов предикатных программ методом синтеза через контрпримеры." Прикладная дискретная математика. Приложение 2017 ().

MLA-цитирование

Чушкин, Михаил Сергеевич. "Завершение эскизов предикатных программ методом синтеза через контрпримеры." Прикладная дискретная математика. Приложение, 2017, .

Предупреждение: эти цитирования не могут быть точны на 100%.