Theoretical Aspects of Software Engineering : 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings - Cristina David - Övrigt | Bokus