Wyniki wyszukiwania dla: Marko Eekelen
Lecture Notes in Computer Science > Implementation and Application of Functional Languages > 118-137
Lecture Notes in Computer Science > Implementation and Application of Functional Languages > Contributions > 37-54
Lecture Notes in Computer Science > Implementation and Application of Functional Languages > 177-194
Lecture Notes in Computer Science > Formal Methods for Industrial Critical Systems > Research Papers > 115-132
Lecture Notes in Computer Science > Formal Methods for Industrial Critical Systems > Research Papers > 182-199
Lecture Notes in Computer Science > Applications of Graph Transformations with Industrial Relevance > Program Transformation Applications > 184-200
Lecture Notes in Computer Science > Applications of Graph Transformations with Industrial Relevance > Tool Development and Knowledge Modeling in Different Applications > 271-278
Lecture Notes in Computer Science > Applications of Graph Transformations with Industrial Relevance > Modularization Concepts > 1-13
Lecture Notes in Computer Science > Formal Methods for Industrial Critical Systems > Research Papers > 85-102
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Applications of Formal Methods > 287-302
Lecture Notes in Computer Science > Formal Methods for Industrial Critical Systems > Contributed Papers > 149-164