1 paper · 1 filter
Horaţiu Cheval, Laurenţiu Leuştean, Andrei Sipoş
This volume contains the proceedings of the 7th Working Formal Methods Symposium, which was held at the University of Bucharest, September 21-22, 2023.