New Publication: Specification and Verification of Communication Paradigms for CBSE in Event B
Our latest research paper on specifying and verifying communication paradigms in Event B for component-based software systems is now online! It was presented at the 27th International Conference on Engineering of Complex Computer Systems (ICECCS 2023). See Publications for more details!