APA aipamena

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

Chicago Style aipamena

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

MLA aipamena

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