Cita APA

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

Citación estilo Chicago

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

Cita MLA

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