Proceedings 7th Symposium on Working Formal Methods
This volume contains the proceedings of the 7th Working Formal Methods Symposium, which was held at the University of Bucharest, September 21-22, 2023.
cs.LO↗
arXiv subjects
Andrei Sipoş
Publications and source records attributed to Andrei Sipoş.