Poltorackiy, M. Yu., Kherson State University
-
No 3-4 (2022) - Formal methods of programming
Algebraic approach to the analysis of legal documents
Abstract PDF -
No 3-4 (2022) - Formal methods of programming
Formal semantics and analysis of tokenomics properties
Abstract PDF