3 citations · 6 across the 7 of their papers we have counts for
1 paper · 1 filter
Mircea Marin, Adrian Crăciun
The 10th Working Formal Methods Symposium (FROM 2026) was held in Timişoara, Romania on September 15-17, 2026. It was organized jointly by the Faculty of Informatics of West Univer…