Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part II Book uri icon

Overview

abstract

  • This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and ...

publication date

  • May 30, 2023

Date in CU Experts

  • January 30, 2024 10:38 AM

Full Author List

  • Sankaranarayanan S; Sharygina N

author count

  • 2

Other Profiles

International Standard Book Number (ISBN) 10

  • 3031308190

International Standard Book Number (ISBN) 13

  • 9783031308192