Goncharov S, Schröder L, Rauch C, Piróg M (2017)
Publication Language: English
Publication Type: Conference contribution, Original article
Publication year: 2017
Publisher: Springer
Series: LNCS
City/Town: Berlin
Conference Proceedings Title: Proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2017)
APA:
Goncharov, S., Schröder, L., Rauch, C., & Piróg, M. (2017). Unifying Guarded and Unguarded Iteration. In Esparza Javier , Murawski Andrzej (Eds.), Proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2017). Uppsala, SE: Berlin: Springer.
MLA:
Goncharov, Sergey, et al. "Unifying Guarded and Unguarded Iteration." Proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2017), Uppsala Ed. Esparza Javier , Murawski Andrzej, Berlin: Springer, 2017.
BibTeX: Download