Insight into Theoretical and Applied Informatics. Introduction to Information Technologies and Computer Science Andrzej Yatsko, Walery Suslow
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021 Unknown author