APA (7th ed.) Citation

Beyer, D., Beyer, D. e., Huisman, M. e., Kordon, F. e., & Steffen, B. e. (2019). Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III (1st ed. 2019.). Springer International Publishing.

Chicago Style (17th ed.) Citation

Beyer, Dirk, Dirk. editor Beyer, Marieke. editor Huisman, Fabrice. editor Kordon, and Bernhard. editor Steffen. Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III. 1st ed. 2019. Cham: Springer International Publishing, 2019.

MLA (9th ed.) Citation

Beyer, Dirk, et al. Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III. 1st ed. 2019. Springer International Publishing, 2019.