FMCAD 2022: FORMAL METHODS IN COMPUTER-AIDED DESIGN
Muhammad Usama Sardar
Affiliation: Technische Universität Dresden (TU Dresden)
Web page: https://tu-dresden.de/ing/informatik/sya/se/die-professur/beschaeftigte/muhammad-usama-sardar
Pages in this Program
Program
Program for Thursday, October 20th