Generating Model Checkers from Algebraic Specifications
Formal Methods in System Design
Specification languages in algebraic compilers
Theoretical Computer Science - Special issue: Algebraic methodology and software technology
Meta Languages in Algebraic Compilers
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Hi-index | 0.00 |