catherine dubois
Tests and Proofs
Print on DemandThis book constitutes the refereed proceedings of the 12th International Conference on Tests and ...
Tests and Proofs
Print on Demand1 This volume contains the research papers and invited papers presented at the Third Internationa...
Formal Methods Teaching
Print on DemandThis book constitutes the proceedings of the 5th International Workshop on Formal Methods Teachin...
Intelligent Computer Mathematics
Print on DemandThis book constitutes the refereed proceedings of the 16th International Conference on Intelligen...
- 1