APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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