BibTeX record conf/icteri/LvovPLT17

• > Home > conf/icteri/LvovPLT17

@inproceedings{DBLP:conf/icteri/LvovPLT17,
  author       = {Michael Lvov and
                  Vladimir S. Peschanenko and
                  Oleksandr A. Letychevskyi and
                  Yulia Tarasich},
  editor       = {Vadim Ermolayev and
                  Nick Bassiliades and
                  Hans{-}Georg Fill and
                  Vitaliy Yakovyna and
                  Heinrich C. Mayr and
                  Vyacheslav S. Kharchenko and
                  Vladimir S. Peschanenko and
                  Mariya Shyshkina and
                  Mykola S. Nikitchenko and
                  Aleksander Spivakovsky},
  title        = {The Canonical Forms of Logical Formulae over the Data Types and Their
                  Using in Programs Verification},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1844},
  pages        = {536--554},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1844/10000536.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:15 +0100},
  biburl       = {https://dblp.org/rec/conf/icteri/LvovPLT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}