Formal methods and software engineering 24th international conference on formal engineering methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023 : proceedings - Li, Yi; Tahar, Sofiène 1966- (Springer Nature Singapore, 2023)