A unified language processing methodology
Theoretical Computer Science
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
An Overview of Compositional Translations
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Algebraic implementation of CTL model checker
MMACTEE'06 Proceedings of the 8th WSEAS international conference on Mathematical methods and computational techniques in electrical engineering
Algebraic model of programming languages
MMACTEE'06 Proceedings of the 8th WSEAS international conference on Mathematical methods and computational techniques in electrical engineering
Hi-index | 5.23 |