8th International Conference on Algebraic Methodology and Software Technology (AMAST) Conference

Scholarly Activity

related documents

Practical Application of Functional and Relational Methods for the Specification and Verification of Safety Critical Software Conferences