Virgile Prevosto, "Tests and Proofs: 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings "
English | ISBN: 3031388275 | 2023 | 209 pages | PDF | 10 MB
English | ISBN: 3031388275 | 2023 | 209 pages | PDF | 10 MB
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.
Read more

