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