A Metalanguage for Guarded Iteration

Conference contribution
(Conference Contribution)

Publication Details

Author(s): Goncharov S, Rauch C, Schröder L
Publisher: Springer International Publishing
Publication year: 2018
Conference Proceedings Title: 11187
Language: English

FAU Authors / FAU Editors

Goncharov, Sergey PD Dr.-Ing.
Lehrstuhl für Informatik 8 (Theoretische Informatik)
Rauch, Christoph
Lehrstuhl für Informatik 8 (Theoretische Informatik)
Schröder, Lutz Prof. Dr.
Lehrstuhl für Informatik 8 (Theoretische Informatik)

How to cite

Goncharov, S., Rauch, C., & Schröder, L. (2018). A Metalanguage for Guarded Iteration. In 11187. Stellenbosch, South Africa: Springer International Publishing.

Goncharov, Sergey, Christoph Rauch, and Lutz Schröder. "A Metalanguage for Guarded Iteration." Proceedings of the 15th International Colloquium on Theoretical Aspects of Computing, ICTAC 2018, Stellenbosch, South Africa Springer International Publishing, 2018.


Last updated on 2019-23-01 at 14:53