1 paper
Mircea Marin, LaurenÅ£iu LeuÅtean
The Working Formal Methods Symposium (FROM) is a series of workshops that aim to bring together researchers and practitioners who work on formal methods by contributing new theoret…