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