Linard, A., Bucur, D. & Stoelinga, M., 18 Nov 2019, Dependable Software Engineering. Theories, Tools, and Applications: 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings. Guan, N., Katoen, J-P. & Sun, J. (eds.). Cham: Springer, p. 19-3719 p. (Lecture Notes in Computer Science; vol. 11951)(Programming and Software Engineering).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review