@article{1472020,
      note = {International conference proceedings.},
      author = {Prevosto, Virgile, and Seceleanu, Cristina,},
      url = {http://library.usi.edu/record/1472020},
      title = {Tests and proofs : 17th International Conference, TAP  2023, Leicester, UK, July 18-19, 2023, proceedings /. TAP  (Conference)},
      abstract = {This book constitutes the proceedings of the 17th  International Conference, TAP 2023, as part of STAF 2023, a  federation of conferences on Software Technologies,  Applications and Foundations, which includes two more  conferences besides TAP: ICGT (International Conference on  Graph Transformations), and ECMFA (European Conference on  Modelling Foundations and Applications) in Leicester, UK,  in July 2023. The 8 full papers together with 2 short  papers included in this volume were carefully reviewed and  selected from 14 submissions. They were organized in  topical sections on Low-level Code Verification, Formal  Models, Model-based test generation, and Abstraction and  Refinement.},
      doi = {https://doi.org/10.1007/978-3-031-38828-6},
      recid = {1472020},
      pages = {1 online resource (xxii, 187 pages) :},
}