3 citations · 6 across the 7 of their papers we have counts for
1 paper · 2 filters
Mircea Marin, Adrian Crăciun
This volume contains the proceedings of FROM 2019: the Third Symposium on Working Formal Methods, held on September 3-5, 2019 in Timişoara (Romania). FROM aims to bring together re…