February 5, 2020 bqcuong

ATVA 2020: International Symposium on Automated Technology for Verification and Analysis – Call for Papers

November 20, 2019 bqcuong

IEEE International Enterprise Distributed Object Computing Conference (EDOC) – October 2020, Eindhoven, Netherlands

October 23, 2019October 23, 2019 bqcuong

International Symposium on Automated Technology for Verification and Analysis (ATVA) – October 2020, Hanoi, Vietnam