Formal Methods for an Informal World
Subtitle: ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures
Publisher: Springer International Publishing AG
Published: 2023
Language: eng
ISBN-13: 9783031436772