APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (8th ed.) Citation

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