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…