The two-volume set LNCS 10671 and 10672 constitutes the thoroughly refereed proceedings of the 16th International Conference on Computer Aided Systems Theory, E
The two-volume set LNCS 10671 and 10672 constitutes the thoroughly refereed proceedings of the 16th International Conference on Computer Aided Systems Theory, E
The two-volume set LNCS 12013 and 12014 constitutes the thoroughly refereed proceedings of the 17th International Conference on Computer Aided Systems Theory, E
This book constitutes the refereed proceedings of the 18th International Conference on Computer-Aided Systems Theory, EUROCAST 2022, held in Las Palmas de Gran