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 . See Publications for more details!