Непомнящий В. А. Валерий Александрович, Рякин О. М. Олег Михайлович, & Ершов А. П. (1988). Прикладные методы верификации программ. Москва, Радио и связь, 1988.
Chicago-Zitierstil (17. Ausg.)Непомнящий В. А. Валерий Александрович, Рякин О. М. Олег Михайлович, und Ершов А. П. Прикладные методы верификации программ. Москва, Радио и связь, 1988, 1988.
MLA-Zitierstil (9. Ausg.)Непомнящий В. А. Валерий Александрович, et al. Прикладные методы верификации программ. Москва, Радио и связь, 1988, 1988.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.