1. Introduction.- 2. Semantics Based on Bisimulation.- 3. Model-Checking Based Data Retrieval.- 4...

This book constitutes the proceedings of the 24th International Conference, ICWE 2024, held in Ta...

This book constitutes short papers, Doctoral Consortium and workshop papers which were presented ...