Grygoriy Zholtkevych. Event Universes: Specification and Analysis Using Coq Proof Assistant. In Vadim Ermolayev, Frédéric Mallet, Vitaliy Yakovyna, Vyacheslav Kharchenko, Vitaliy Kobets, Artur Kornilowicz, Hennadiy Kravtsov, Mykola S. Nikitchenko, Serhiy Semerikov, Aleksander Spivakovsky, editors, Proceedings of the 15th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer. Volume II: Workshops, Kherson, Ukraine, June 12-15, 2019. Volume 2393 of CEUR Workshop Proceedings, pages 568-576, CEUR-WS.org, 2019. [doi]
Abstract is missing.