Proceedings of the 11th international conference on World Wide Web
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
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
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
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
Algebraic model of programming languages
MMACTEE'06 Proceedings of the 8th WSEAS international conference on Mathematical methods and computational techniques in electrical engineering
Context free languages: an application to recursive programs analysis
MMACTEE'06 Proceedings of the 8th WSEAS international conference on Mathematical methods and computational techniques in electrical engineering
Hi-index | 0.00 |