Formal Methods for an Informal World : ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures

MLA

Cerone, Antonio. Formal Methods for an Informal World : Ictac 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures. Cham: Springer International Publishing AG, 2023.

APA

Cerone, A. (2023). Formal Methods for an Informal World : ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures. Cham: Springer International Publishing AG.

Chicago

Cerone, Antonio. Formal Methods for an Informal World : ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures. Cham: Springer International Publishing AG, 2023.