Project-team OLAS Operational, Logical, and Algebraic foundations for Software systems Software is more and more transforming our daily lives. However, it is also becoming more and more...
