The KeY Symposium is the annual workshop of the KeY project, where all people involved in KeY come together to discuss recent developments
and future directions.
Previous KeY Workshops
The KeY Symposium is the annual workshop of the KeY project, where all people involved in KeY come together to discuss recent developments
and future directions.
Previous KeY Workshops