2nd International Conference on Software Engineering Advances and Formal Methods (SOFTFM 2023)

November 18 ~ 19, 2023, Zurich, Switzerland