Annals of Mathematics and Artificial Intelligence
Proof Transformations for Evolutionary Formal Software Development
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Verification of object-oriented software: The KeY approach
Verification of object-oriented software: The KeY approach
A proof-theoretic approach to hierarchical math library organization
MKM'05 Proceedings of the 4th international conference on Mathematical Knowledge Management
Hi-index | 0.00 |