Reasoning Inductively about Z Specifications via Unification
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Automatic Derivation and Application of Induction Schemes for Mutually Recursive Functions
CL '00 Proceedings of the First International Conference on Computational Logic
Strategic Issues, Problems and Challenges in Inductive Theorem Proving
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |