Compile time semantic analysis and verification of conceptual models in application to transactional business information systems

Bilyk, Vladyslav. Compile time semantic analysis and verification of conceptual models in application to transactional business information systems / Vladyslav Bilyk ; supervisor : Oles Hodych . - Lviv : [s.n.], 2022 . - vii, 35 арк. іл. 30 см.

Бакалаврська робота
К.: Містить бібліографію