Buku akses terbuka ini merupakan prosiding dari Konferensi Internasional ke-23 tentang Fondasi Ilmu Perangkat Lunak dan Struktur Komputasi, FOSSACS 2020, yang berlangsung di Dublin, Irlandia, pada bulan April 2020, dan diadakan sebagai Bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2020. 31 makalah reguler yang disajikan dalam volume ini ditinjau dengan c…
This open access book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 31 regular papers presented in this volume were carefully reviewed and …