APA Citation

Guan, N., Katoen, J., & Sun, J. (2019). Dependable Software Engineering. Theories, Tools, and Applications: 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings (1st ed. 2019.). Cham: Springer International Publishing.

Chicago Style Citation

Guan, Nan, Joost-Pieter Katoen, and Jun Sun. Dependable Software Engineering. Theories, Tools, and Applications: 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings. 1st ed. 2019. Cham: Springer International Publishing, 2019.

MLA Citation

Guan, Nan, Joost-Pieter Katoen, and Jun Sun. Dependable Software Engineering. Theories, Tools, and Applications: 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings. 1st ed. 2019. Cham: Springer International Publishing, 2019.