Ivan Lanese, a researcher from the BehAPI site University of Bologna, presented work done in collaboration with the University of Leicester at this year’s Codebeam, held in Stockholm. They present

This year, a BehAPI tutorial day will be colocated with DisCoTec 2023. It will be organised on Friday, June 23, after the main conference. The following three tools will be