Скляр, В., & Харченко, В. (2006). Реализация процесса верификации для разработки надежного программного обеспечения. Математичні машини і системи.
Chicago-Zitierstil (17. Ausg.)Скляр, В.В, und В.С Харченко. "Реализация процесса верификации для разработки надежного программного обеспечения." Математичні машини і системи 2006.
MLA-Zitierstil (8. Ausg.)Скляр, В.В, und В.С Харченко. "Реализация процесса верификации для разработки надежного программного обеспечения." Математичні машини і системи, 2006.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.