Verification Support for a State-Transition-DSL defined with Xtext

Typ

Beitrag Konferenzband von Prof. Dr. Thomas Baar

Zitation

Baar, Thomas: Verification Support for a State-Transition-DSL defined with Xtext. In: Proceedings of Perspectives of System Informatics - 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, S. 50-60, Springer, Heidelberg, 2015, ISSN 0302-9743