A Metamodel-Based Approach for Adding Modularization to KeYmaera’s Input Syntax

Typ

Beitrag Konferenzband von Prof. Dr. Thomas Baar

Zitation

Baar, Thomas: A Metamodel-Based Approach for Adding Modularization to KeYmaera’s Input Syntax. In: Perspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, {PSI} 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers, S. 125-139, Springer, Heidelberg, 2019

Homepage

https://link.springer.com/chapter/10.1007/978-3-030-37487-7_11