APA Style

ZHANG, L., VOJNAR, T. (2019). Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I (1). Cham: Springer Cham.

MLA Style

ZHANG, Lijun., VOJNAR, Tomáš. "Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I". 1 Cham: Springer Cham, 2019. Text.