Formal Methods and Distributed Computing: Stronger Together (Dagstuhl Seminar 22492)

Attiya, Hagit
Enea, Constantin
Rajsbaum, Sergio
Sokolova, Ana

Open link

Publication date

January 2023

DOI

10.4230/DagRep.12.12.27

Publisher

Dagstuhl Reports. DagRep, Volume 12, Issue 12

Abstract

This report documents the program and the outcomes of Dagstuhl Seminar 22492 "Formal Methods and Distributed Computing: Stronger Together", held in December 2022

Extracted data

We use cookies to provide a better user experience.

Data Protection

Formal Methods and Distributed Computing: Stronger Together (Dagstuhl Seminar 22492)

Abstract

Extracted data

Formal Methods and Distributed Computing: Stronger Together (Dagstuhl Seminar 22492)

Abstract

Extracted data

Related items

Related items