An Introduction to "Grammar Convergence

R. Lammel, V Zaytsev

Research output: Contribution to JournalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)246-260
JournalLecture Notes in Computer Science
Publication statusPublished - 2009

Bibliographical note

Proceedings title: Proceedings of the Seventh International Conference on Integrated Formal Methods (iFM 2009)
Publisher: Springer-Verlag
Place of publication: Berlin, Heidelberg
Editors: M. Leuschel, H. Wehrheim

Cite this