1 paper · 1 filter
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…