17th International Symposium on Theoretical Aspects of Software Engineering
4-6 July 2023, Bristol, United Kingdom
  1. Programme
  2. Invited Talks

Invited Talks

Stefan Kiefer (University of Oxford)

Stefan Kiefer
Title: TBC
Abstract: Forthcoming

Naijun Zhan (Chinese Academy of Sciences)

Naijun Zhan
Title: TBC
Abstract: Forthcoming

Peter Schrammel (Diffblue)

Peter Schrammel
Title: TBC
Abstract: Forthcoming