TY - BOOK AU - Bilyk,Vladyslav ED - Ukrainian Catholic University TI - Compile time semantic analysis and verification of conceptual models in application to transactional business information systems PY - 2022/// CY - Lviv PB - [s.n.] N1 - Бакалаврська робота; Містить бібліографію ER -