Скляр, В., & Харченко, В. (2006). Реализация процесса верификации для разработки надежного программного обеспечения. Математичні машини і системи.
Чикаго стиль цитування (17-те видання)Скляр, В.В, та В.С Харченко. "Реализация процесса верификации для разработки надежного программного обеспечения." Математичні машини і системи 2006.
Стиль цитування MLA (8-ме видання)Скляр, В.В, та В.С Харченко. "Реализация процесса верификации для разработки надежного программного обеспечения." Математичні машини і системи, 2006.
Попередження: стилі цитування не завжди правильні на всі 100%.