I am excited and honored to serve as a program committee member for the ESEC/FSE 2023 formal tool demonstrations track. Please consider submitting! The deadline is May 11.
Home » Service » Program Committees » Program Committee (PC) member for ESEC/FSE ’23 demonstrations
