Нікітченко, М., Шкільняк, С., & Омельчук, Л. (2006). Логіки, орієнтовані на специфікації програм. Інститут програмних систем НАН України.
Chicago Style (17th ed.) CitationНікітченко, М.С, С.С Шкільняк, and Л.Л Омельчук. Логіки, орієнтовані на специфікації програм. Інститут програмних систем НАН України, 2006.
MLA (8th ed.) CitationНікітченко, М.С, et al. Логіки, орієнтовані на специфікації програм. Інститут програмних систем НАН України, 2006.
Warning: These citations may not always be 100% accurate.