2000 character limit reached
Proceedings 7th Symposium on Working Formal Methods (2309.12959v1)
Published 22 Sep 2023 in cs.LO
Abstract: This volume contains the proceedings of the 7th Working Formal Methods Symposium, which was held at the University of Bucharest, September 21-22, 2023.