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 см. 
<br/><br/>Бакалаврська робота 
<br/>К.: Містить бібліографію