A Metamodel-Based Approach for Adding Modularization to KeYmaera’s Input Syntax
Konferenzbeitrag › Konferenzpaper
› 2019
Zitation
Konferenzbeitrag Full Paper
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. Hg. von Nikolaj Bj{\o}rner, Irina B. Virbitskaite, Andrei Voronkov. Heidelberg: Springer 2019( LNCS 11964), S. 125-139.