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