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.
Cita Chicago Style (17a ed.)Beyer, Dirk, Dirk. editor Beyer, Marieke. editor Huisman, Fabrice. editor Kordon, y 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.
Cita MLA (9a ed.)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.
