Search for persons
X
?
Lecture Notes in Computer Science; Coordination Models and Languages ,
2
The Concurrent Calculi Formalisation Benchmark:
, In:
?
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis ,
6
Oven: Safe and Live Communication Protocols in Scala, using..:
, In:
?
Proceedings of the XIX Brazilian Symposium on Information Systems ,
8
Towards a Catalog of Heuristics for the Design of Systems-o..:
, In:
?
Proceedings of the 2nd International Conference on Water Energy Food and Sustainability (ICoWEFS 2022) ,
11