Alexander Godlevskyi, Aleksander Letichevskyi, Vladimir S. Peschanenko, Oleksandr A. Letychevskyi, Maryna Morokhovets, Volodymyr Skobelev, Maksym Poltorackiy. Formalization and Algebraic Verification of Legal Requirements. In Vadim Ermolayev, Nick Bassiliades, Hans-Georg Fill, Vitaliy Yakovyna, Heinrich C. Mayr, Vyacheslav Kharchenko, Vladimir S. Peschanenko, Mariya Shyshkina, Mykola Nikitchenko, Aleksander Spivakovsky, editors, Proceedings of the 13th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017. Volume 1844 of CEUR Workshop Proceedings, pages 524-535, CEUR-WS.org, 2017. [doi]
Abstract is missing.