Безверха, М., & Процик, П. (2010). Конструювання та верифікація програм на основі специфікацій у композиційно-номінативній мові CNLS. Інститут програмних систем НАН України.
Chicago Style (17th ed.) CitationБезверха, М.А, and П.П Процик. Конструювання та верифікація програм на основі специфікацій у композиційно-номінативній мові CNLS. Інститут програмних систем НАН України, 2010.
MLA (8th ed.) CitationБезверха, М.А, and П.П Процик. Конструювання та верифікація програм на основі специфікацій у композиційно-номінативній мові CNLS. Інститут програмних систем НАН України, 2010.
Warning: These citations may not always be 100% accurate.