Empirical Formal Methods: Guidelines for Performing Empirical Studies on Formal Methods

Maurice H. ter BeekAlessio Ferrari2024-08-142024-08-142022jz000089-0001https://tustorage.ulb.tu-darmstadt.de/handle/tustorage/3742004Empirical Formal Methods: Guidelines for Performing Empirical Studies on Formal MethodsArticlehttps://doi.org/10.3390/software1040017