2021-07-26 09:05:55
#سخنرانی
"SMT-based Software Model Checking"
Sepideh Asadi
Ph.D. student at USI Lugano Formal Verification and Security Lab
سخنرانی بهصورت آنلاین میباشد. لطفا جهت دریافت لینک سخنرانی و شرکت در رویداد، از طریق لینک زیر ثبتنام فرمایید.
چهارشنبه ۱۳ مردادماه ۱۴۰۰
ساعت ۱۶:۰۰
لینک ثبتنام(الزامی):
https://teias.institute/asadi-talk202108/
@pasargadschools
15.4K viewsedited 06:05