6th International Conference on Formal Engineering Methods Conference

Scholarly Activity

related documents

An Equational Calculus for Alloy Conferences
Implementing Dynamic Aggregations of Abstract Machines in the B Method Conferences