Proceedings of the 14th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer. Volume II - Workshops, Kyiv, Ukraine, May 14-17, 2018. | 0 | 0.34 | 2017 |
The Canonical Forms of Logical Formulae over the Data Types and Their Using in Programs Verification. | 0 | 0.34 | 2017 |
Formalization and Algebraic Verification of Legal Requirements. | 0 | 0.34 | 2017 |