This book constitutes the refereed proceedings of the 10th International Conference on Foundations of Software Science and ...
Lire la suite
This volume contains the ?nal proceedings of the Sixth International Andrei Ershov Memorial Conference on Perspectives of ...
Lire la suite
This book constitutes the refereed proceedings of the 13th International Conference on Reversible Computation, RC 2021, which ...
Lire la suite