Search for persons
X
?
Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science ,
1
Certified Compilation of Choreographies with hacc:
, In:
?
Lecture Notes in Computer Science; Theoretical Aspects of Computing – ICTAC 2022 ,
2