BibTeX record conf/dessert/OdarushchenkoSSLIO23

download as .bib file

@inproceedings{DBLP:conf/dessert/OdarushchenkoSSLIO23,
  author       = {Oleg Odarushchenko and
                  Oleksiy Striuk and
                  Viacheslav Shamanskyi and
                  Oleksandr A. Letychevskyi and
                  Aleksandr Ivasiuk and
                  Elena Odarushchenko},
  title        = {Application of Formal Verification Methods in a Safety-Oriented Software
                  Development Life Cycle},
  booktitle    = {13th International Conference on Dependable Systems, Services and
                  Technologies, {DESSERT} 2023, Athens, Greece, October 13-15, 2023},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/DESSERT61349.2023.10416448},
  doi          = {10.1109/DESSERT61349.2023.10416448},
  timestamp    = {Sat, 24 Feb 2024 20:42:46 +0100},
  biburl       = {https://dblp.org/rec/conf/dessert/OdarushchenkoSSLIO23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics