Buku akses terbuka ini merupakan prosiding dari Konferensi Internasional ke-25 tentang Pendekatan Fundamental terhadap Rekayasa Perangkat Lunak, FASE 2022, yang diadakan selama 4-5 April 2022, di Munich, Jerman, sebagai bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2022. 17 makalah reguler yang disajikan dalam volume ini ditinjau dengan cermat dan dipili…
This open access book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2022, which was held during April 4-6, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 23 regular papers presented in this volume were carefully reviewed and select…