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]
@inproceedings{Zholtkevych19,
title = {Event Universes: Specification and Analysis Using Coq Proof Assistant},
author = {Grygoriy Zholtkevych},
year = {2019},
url = {http://ceur-ws.org/Vol-2393/paper_406.pdf},
researchr = {https://researchr.org/publication/Zholtkevych19},
cites = {0},
citedby = {0},
pages = {568-576},
booktitle = {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},
editor = {Vadim Ermolayev and Frédéric Mallet and Vitaliy Yakovyna and Vyacheslav Kharchenko and Vitaliy Kobets and Artur Kornilowicz and Hennadiy Kravtsov and Mykola S. Nikitchenko and Serhiy Semerikov and Aleksander Spivakovsky},
volume = {2393},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}