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

Непомнящий В. А., & Рякин О. М. (1988). Прикладные методы верификации программ: В. А. Непомнящий, О. М. Рякин. Москва Радио и связь 1988.

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

Непомнящий В. А., and Рякин О. М. Прикладные методы верификации программ: В. А. Непомнящий, О. М. Рякин. Москва Радио и связь 1988, 1988.

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

Непомнящий В. А., and Рякин О. М. Прикладные методы верификации программ: В. А. Непомнящий, О. М. Рякин. Москва Радио и связь 1988, 1988.

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