Formal Methods for an Informal World
ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures
Book series
ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures
Available Renditions
8th Summer School, CEFP 2019, Budapest, Hungary, June 17–21, 2019, Revised Selected Papers
Available Renditions
18th International Summer School 2022, Berlin, Germany, September 27–30, 2022, Tutorial Lectures
Available Renditions
17th International Summer School 2021, Leuven, Belgium, September 8–15, 2021, Tutorial Lectures
Available Renditions
16th International Summer School 2020, Oslo, Norway, June 24–26, 2020, Tutorial Lectures
Available Renditions