Proceedings 7th Symposium on Working Formal Methods
arXiv:2309.12959 · doi:10.4204/EPTCS.389
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.