@article{1449728,
      note = {International conference proceedings.},
      author = {Komendantskaya, Ekaterina,},
      url = {http://library.usi.edu/record/1449728},
      title = {Mathematics of program construction : 14th International  Conference, MPC 2022, Tbilisi, Georgia, September 26-28,  2022, proceedings /. MPC 2022},
      abstract = {This book constitutes the refereed proceedings of the 14th  International Conference on Mathematics of Program  Construction, MPC 2022, held in Tbilisi, Georgia, in  September 2022. The 9 revised full papers presented  together with three invited papers were carefully reviewed  and selected from 14 submissions. The papers deal with  mathematical principles and techniques for constructing  computer programs.},
      doi = {https://doi.org/10.1007/978-3-031-16912-0},
      recid = {1449728},
      pages = {1 online resource (xv, 269 pages) :},
}