Summer School

Verification Technology, Systems and Applications (VTSA 2021)

Leslie Lamport à l'ULiège !