Browsing by Author "Alessio Ferrari"
Now showing 1 - 3 of 3
Results Per Page
Sort Options
Dataset Empirical Formal Methods: Guidelines for Performing Empirical Studies on Formal Methods(MDPI AG, 2022) Maurice H. ter Beek; Alessio FerrariDistribution Empirical Formal Methods: Guidelines for Performing Empirical Studies on Formal MethodsMaurice H. ter Beek; Alessio FerrariDistribution Empirical Formal Methods: Guidelines for Performing Empirical Studies on Formal MethodsMaurice H. ter Beek; Alessio Ferrari