ДЕВЯТКОВ В.В. (2016). ВЕРИФИКАЦИЯ СВОЙСТВ ИНТЕЛЛЕКТУАЛЬНЫХ ИНТЕРФЕЙСОВ В ЛОГИКЕ ТАЙЛОВ.
ISO-690 (author-date, English)ДЕВЯТКОВ В.В., 2016. ВЕРИФИКАЦИЯ СВОЙСТВ ИНТЕЛЛЕКТУАЛЬНЫХ ИНТЕРФЕЙСОВ В ЛОГИКЕ ТАЙЛОВ. . 1 Januar 2016.
Modern Language Association 9th editionДЕВЯТКОВ В.В. ВЕРИФИКАЦИЯ СВОЙСТВ ИНТЕЛЛЕКТУАЛЬНЫХ ИНТЕРФЕЙСОВ В ЛОГИКЕ ТАЙЛОВ. Januar 2016.
Mohr Siebeck - Recht (Deutsch - Österreich)ДЕВЯТКОВ В.В.: ВЕРИФИКАЦИЯ СВОЙСТВ ИНТЕЛЛЕКТУАЛЬНЫХ ИНТЕРФЕЙСОВ В ЛОГИКЕ ТАЙЛОВ, 2016,
Emerald - HarvardДЕВЯТКОВ В.В. (2016), „ВЕРИФИКАЦИЯ СВОЙСТВ ИНТЕЛЛЕКТУАЛЬНЫХ ИНТЕРФЕЙСОВ В ЛОГИКЕ ТАЙЛОВ“.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.