Induction Proofs with Partial Functions
Journal of Automated Reasoning
Order-sorted parameterization and induction
Semantics and algebraic specification
Piecewise modelling with state subtypes
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Hi-index | 0.00 |