This volume contains the proceedings of the 7th Working Formal Methods Symposium, which was held at the University of Bucharest, September 21-22, 2023.

翻译：本卷收录了2023年9月21日至22日在布加勒斯特大学举行的第七届工作形式方法研讨会的会议论文集。