Methods of Formal Software Verification in the Context of Distributed Systems

Anna Fatkina, Oleg Iakushkin, Dmitry Selivanov, Vladimir Korkhov. Methods of Formal Software Verification in the Context of Distributed Systems. In Sanjay Misra, Osvaldo Gervasi, Beniamino Murgante, Elena N. Stankova, Vladimir Korkhov, Carmelo Maria Torre, Ana Maria A. C. Rocha, David Taniar, Bernady O. Apduhan, Eufemia Tarantino, editors, Computational Science and Its Applications - ICCSA 2019 - 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019, Proceedings, Part II. Volume 11620 of Lecture Notes in Computer Science, pages 546-555, Springer, 2019. [doi]

@inproceedings{FatkinaISK19,
  title = {Methods of Formal Software Verification in the Context of Distributed Systems},
  author = {Anna Fatkina and Oleg Iakushkin and Dmitry Selivanov and Vladimir Korkhov},
  year = {2019},
  doi = {10.1007/978-3-030-24296-1_43},
  url = {https://doi.org/10.1007/978-3-030-24296-1_43},
  researchr = {https://researchr.org/publication/FatkinaISK19},
  cites = {0},
  citedby = {0},
  pages = {546-555},
  booktitle = {Computational Science and Its Applications - ICCSA 2019 - 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019, Proceedings, Part II},
  editor = {Sanjay Misra and Osvaldo Gervasi and Beniamino Murgante and Elena N. Stankova and Vladimir Korkhov and Carmelo Maria Torre and Ana Maria A. C. Rocha and David Taniar and Bernady O. Apduhan and Eufemia Tarantino},
  volume = {11620},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-030-24296-1},
}