Toggle navigation
Home
People
Departments
Research
About
Login
Search
7th International Conference on Formal Methods and Software Engineering
Conference
Scholarly Activity
Scholarly Activity
related documents
Towards Dynamically Communicating Abstract Machines in the B Method
Conferences