Verifiability Talk 19: SYNTECH: Synthesis Technologies for Reactive Systems Software Engineers
Speaker: Jan Ringert (King’s College London)
Title: “SYNTECH: Synthesis Technologies for Reactive Systems Software Engineers”
Date: 07/10/2021 – Meeting Link
Time: 16:00-17:00 (British Summer Time, GMT+1)