9783031308307 - foundations of software science and computation structures: 26th international conference, fossacs 2023, held as part of the european joint ... paris, france, april 22-27, 2023, proceedings (1 Ergebnisse)