This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Workshop on Algebraic Development Techniques, WADT 2022, held in Aveiro, Portugal, in June 2022.The 6 revised papers presented together with 2 invited...Daugiau...
This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Workshop on Algebraic Development Techniques, WADT 2022, held in Aveiro, Portugal, in June 2022.The 6 revised papers presented together with 2 invited...Daugiau...
This two-volume set constitutes the refereed proceedings of the 30th European Conference on Systems, Software and Services Process Improvement, EuroSPI 2023, held in Grenoble, France, in August-September 2023.The 47 full papers presented were careful...Daugiau...
This two-volume set constitutes the refereed proceedings of the 30th European Conference on Systems, Software and Services Process Improvement, EuroSPI 2023, held in Grenoble, France, in August-September 2023.The 47 full papers presented were careful...Daugiau...
This book constitutes the refereed proceedings of the 9th International Symposium on End-User Development, IS-EUD 2023, held in Cagliari, Italy, during June 6-8, 2023.The 17 full papers and 2 (keynote extended abstracts) included...Daugiau...
This book constitutes the refereed proceedings of the 9th International Symposium on End-User Development, IS-EUD 2023, held in Cagliari, Italy, during June 6-8, 2023.The 17 full papers and 2 (keynote extended abstracts) included...Daugiau...
This book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SBMF 2022, which was held virtually in December 2022. The 8 regular papers presented in this book were carefully reviewed and selected from 15 sub...Daugiau...
This book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SBMF 2022, which was held virtually in December 2022. The 8 regular papers presented in this book were carefully reviewed and selected from 15 sub...Daugiau...
This book constitutes the refereed proceedings of the 13th International Conference on Software Business, ICSOB 2022, which was held during November 8-11, 2022 in Bolzano, Italy. The special theme of ICSOB 2022 was "e;Software for Digital Tr...Daugiau...
This book constitutes the refereed proceedings of the 13th International Conference on Software Business, ICSOB 2022, which was held during November 8-11, 2022 in Bolzano, Italy. The special theme of ICSOB 2022 was "e;Software for Digital Tr...Daugiau...
This volume constitutes the refereed proceedings of the 29th European Conference on Systems, Software and Services Process Improvement, EuroSPI 2022, held in Salzburg, Austria, in August-September 2022.The 49 full papers and 8 short papers presented...Daugiau...
This volume constitutes the refereed proceedings of the 29th European Conference on Systems, Software and Services Process Improvement, EuroSPI 2022, held in Salzburg, Austria, in August-September 2022.The 49 full papers and 8 short papers presented...Daugiau...
This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the Europea...Daugiau...
This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the Europea...Daugiau...
This book constitutes the proceedings of the 6th International Conference on Lean and Agile Software Development, LASD 2022, which was held online on January 22, 2022. The conference received a total of 29 submissions, of which 9 full papers,...Daugiau...
This book constitutes the proceedings of the 6th International Conference on Lean and Agile Software Development, LASD 2022, which was held online on January 22, 2022. The conference received a total of 29 submissions, of which 9 full papers,...Daugiau...
This book constitutes the refereed proceedings of the 24rd Brazilian Symposium on Formal Methods, SBMF 2021, which was held in December 2021. Due to COVID 19-pandemic it took place virtually. The 8 regular papers presented in this book were carefully...Daugiau...
This book constitutes the refereed proceedings of the 24rd Brazilian Symposium on Formal Methods, SBMF 2021, which was held in December 2021. Due to COVID 19-pandemic it took place virtually. The 8 regular papers presented in this book were carefully...Daugiau...
This book constitutes the refereed proceedings of the 12th International Conference on Optimization and Applications, OPTIMA 2021, held in Petrovac, Montenegro, in September-October 2021.The 22 full and 3 short papers presented were carefully reviewe...Daugiau...
This book constitutes the refereed proceedings of the 12th International Conference on Optimization and Applications, OPTIMA 2021, held in Petrovac, Montenegro, in September-October 2021.The 22 full and 3 short papers presented were carefully reviewe...Daugiau...
